GNU bug report logs -
#50134
[PATCH core-updates-frozen 00/12] Fix (assoc-ref ... "out") related Ocaml build failures
Previous Next
Reported by: Maxime Devos <maximedevos <at> telenet.be>
Date: Fri, 20 Aug 2021 12:48:01 UTC
Severity: normal
Tags: patch
Done: Mathieu Othacehe <othacehe <at> gnu.org>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 50134 in the body.
You can then email your comments to 50134 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:48:01 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Maxime Devos <maximedevos <at> telenet.be>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Fri, 20 Aug 2021 12:48:01 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Reported by 'slyfox' on IRC.
[signature.asc (application/pgp-signature, inline)]
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:02 GMT)
Full text and
rfc822 format available.
Message #8 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(dune-boot)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 183f88dd01..b8d52bb283 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -22,6 +22,7 @@
;;; Copyright © 2021 Sharlatan Hellseher <sharlatanus <at> gmail.com>
;;; Copyright © 2021 Xinglu Chen <public <at> yoctocell.xyz>
;;; Copyright © 2021 Ivan Gankevich <i.gankevich <at> spbu.ru>
+;;; Copyright © 2021 Maxime Devos <maximedevos <at> telenet.be>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -87,6 +88,7 @@
#:use-module (guix build-system gnu)
#:use-module (guix build-system ocaml)
#:use-module (guix download)
+ #:use-module (guix gexp)
#:use-module (guix git-download)
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages)
@@ -1620,10 +1622,10 @@ full_split, cut, rcut, etc..")
(build-system ocaml-build-system)
(arguments
`(#:tests? #f; require odoc
- #:make-flags (list "release"
- (string-append "PREFIX=" (assoc-ref %outputs "out"))
- (string-append "LIBDIR=" (assoc-ref %outputs "out")
- "/lib/ocaml/site-lib"))
+ #:make-flags ,#~(list "release"
+ (string-append "PREFIX=" #$output)
+ (string-append "LIBDIR=" #$output
+ "/lib/ocaml/site-lib"))
#:phases
(modify-phases %standard-phases
(replace 'configure
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:02 GMT)
Full text and
rfc822 format available.
Message #11 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(ocamlbuild)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 12 +++++-------
1 file changed, 5 insertions(+), 7 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index b8d52bb283..1624823394 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -456,13 +456,11 @@ depend: $(STDLIB_MLIS) $(STDLIB_DEPS)"))
(build-system ocaml-build-system)
(arguments
`(#:make-flags
- (list (string-append "OCAMLBUILD_PREFIX=" (assoc-ref %outputs "out"))
- (string-append "OCAMLBUILD_BINDIR=" (assoc-ref %outputs "out")
- "/bin")
- (string-append "OCAMLBUILD_LIBDIR=" (assoc-ref %outputs "out")
- "/lib/ocaml/site-lib")
- (string-append "OCAMLBUILD_MANDIR=" (assoc-ref %outputs "out")
- "/share/man"))
+ ,#~(list (string-append "OCAMLBUILD_PREFIX=" #$output)
+ (string-append "OCAMLBUILD_BINDIR=" #$output "/bin")
+ (string-append "OCAMLBUILD_LIBDIR=" #$output
+ "/lib/ocaml/site-lib")
+ (string-append "OCAMLBUILD_MANDIR=" #$output "/share/man"))
#:phases
(modify-phases %standard-phases
(delete 'configure))
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:02 GMT)
Full text and
rfc822 format available.
Message #14 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(ocamlcudf)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1624823394..c97f633cbe 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -583,10 +583,9 @@ for day to day programming.")
("ocaml-ounit" ,ocaml-ounit)))
(arguments
`(#:make-flags
- (list
- "all" "opt"
- (string-append "BINDIR=" (assoc-ref %outputs "out")
- "/bin"))
+ ,#~(list
+ "all" "opt"
+ (string-append "BINDIR=" #$output "/bin"))
#:phases
(modify-phases %standard-phases
(delete 'configure))))
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:03 GMT)
Full text and
rfc822 format available.
Message #17 received at 50134 <at> debbugs.gnu.org (full text, mbox):
The package 'lablgtk <at> 2.8.10' (indirect dependency of ocaml-dose3)
fails to build so this patch could not be tested.
* gnu/packages/ocaml.scm
(ocaml-dose3)[arguments]<#:make-flags>: Use #$output.
(ocaml-dose3)[arguments]<#:configure-flags>: Don't use %build-inputs.
---
gnu/packages/ocaml.scm | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c97f633cbe..0043e9fbee 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -44,6 +44,7 @@
#:use-module (gnu packages algebra)
#:use-module (gnu packages autotools)
#:use-module (gnu packages base)
+ #:use-module (gnu packages bash)
#:use-module (gnu packages bison)
#:use-module (gnu packages boost)
#:use-module (gnu packages compression)
@@ -644,13 +645,11 @@ underlying solvers like Cplex, Gurobi, Lpsolver, Glpk, CbC, SCIP or WBO.")
(build-system ocaml-build-system)
(arguments
`(#:configure-flags
- (list (string-append "SHELL="
- (assoc-ref %build-inputs "bash")
- "/bin/sh"))
+ ,#~(list (string-append "SHELL="
+ #+(file-append (canonical-package bash-minimal)
+ "/bin/sh")))
#:make-flags
- (list (string-append "LIBDIR="
- (assoc-ref %outputs "out")
- "/lib/ocaml/site-lib"))
+ ,#~(list (string-append "LIBDIR=" #$output "/lib/ocaml/site-lib"))
#:phases
(modify-phases %standard-phases
(add-after 'unpack 'fix-test-script
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:03 GMT)
Full text and
rfc822 format available.
Message #20 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(ocaml-cmdliner)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 0043e9fbee..48950589c5 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2141,8 +2141,8 @@ dates and times.")
`(("ocamlbuild" ,ocamlbuild)))
(arguments
`(#:tests? #f
- #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out")
- "/lib/ocaml/site-lib/cmdliner"))
+ #:make-flags ,#~(list (string-append "LIBDIR=" #$output
+ "/lib/ocaml/site-lib/cmdliner"))
#:phases
(modify-phases %standard-phases
(delete 'configure)
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:04 GMT)
Full text and
rfc822 format available.
Message #23 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(ocaml-opam-file-format)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 48950589c5..1e32ebee60 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -761,8 +761,8 @@ let () = String.split_on_char ':' (Sys.getenv \"OCAMLPATH\")
(build-system ocaml-build-system)
(arguments
`(#:tests? #f; No tests
- #:make-flags (list (string-append "LIBDIR=" (assoc-ref %outputs "out")
- "/lib/ocaml/site-lib"))
+ #:make-flags ,#~(list (string-append "LIBDIR=" #$output
+ "/lib/ocaml/site-lib"))
#:phases
(modify-phases %standard-phases
(delete 'configure))))
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:04 GMT)
Full text and
rfc822 format available.
Message #26 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(camlzip)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1e32ebee60..66d4460446 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1392,9 +1392,8 @@ other XUnit testing frameworks.")
(format port "directory=\"../zip\"\n")))))))
#:install-target "install-findlib"
#:make-flags
- (list "all" "allopt"
- (string-append "INSTALLDIR=" (assoc-ref %outputs "out")
- "/lib/ocaml"))))
+ ,#~(list "all" "allopt"
+ (string-append "INSTALLDIR=" #$output "/lib/ocaml"))))
(home-page "https://github.com/xavierleroy/camlzip")
(synopsis "Provides easy access to compressed files")
(description "Provides easy access to compressed files in ZIP, GZIP and
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:04 GMT)
Full text and
rfc822 format available.
Message #29 received at 50134 <at> debbugs.gnu.org (full text, mbox):
The package 'lablgtk <at> 2.8.10' (indirect dependency of ocaml-down)
fails to build so this patch could not be tested.
* gnu/packages/ocaml.scm
(ocaml-down)[arguments]<#:build-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 66d4460446..81e967cd34 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -701,8 +701,8 @@ repository-wide uninstallability checks.")
(modify-phases %standard-phases
(delete 'configure))
#:build-flags
- (list "build" "--lib-dir"
- (string-append (assoc-ref %outputs "out") "/lib/ocaml/site-lib"))))
+ ,#~(list "build" "--lib-dir"
+ (string-append #$output "/lib/ocaml/site-lib"))))
(native-inputs
`(("ocaml-findlib" ,ocaml-findlib)
("ocamlbuild" ,ocamlbuild)
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:05 GMT)
Full text and
rfc822 format available.
Message #32 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(omake)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 6fe8cb46f9..7385d6e413 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3029,7 +3029,7 @@ OCaml code.")
(build-system ocaml-build-system)
(arguments
`(#:make-flags
- (list (string-append "PREFIX=" (assoc-ref %outputs "out")))
+ ,#~(list (string-append "PREFIX=" #$output))
#:tests? #f ; no test target
#:phases
(modify-phases %standard-phases
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:05 GMT)
Full text and
rfc822 format available.
Message #35 received at 50134 <at> debbugs.gnu.org (full text, mbox):
The package 'lablgtk <at> 2.8.10' (indirect dependency of ocaml4.07-piqi)
fails to build so this patch could not be tested.
* gnu/packages/ocaml.scm
(ocaml4.07-piqi)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 7385d6e413..e89c1adbb9 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3704,9 +3704,10 @@ and 4 (random based) according to RFC 4122.")
(build-system ocaml-build-system)
(arguments
`(#:make-flags
- (list (string-append "DESTDIR=" (assoc-ref %outputs "out"))
- (string-append "SHELL=" (assoc-ref %build-inputs "bash")
- "/bin/sh"))
+ ,#~(list (string-append "DESTDIR=" #$output)
+ (string-append "SHELL="
+ #+(file-append (canonical-package bash-minimal)
+ "/bin/sh")))
#:phases
(modify-phases %standard-phases
(add-after 'unpack 'make-files-writable
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:06 GMT)
Full text and
rfc822 format available.
Message #38 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(ocaml-frontc)[arguments]<#:make-flags>: Use #$output.
---
gnu/packages/ocaml.scm | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 81e967cd34..6fe8cb46f9 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1498,9 +1498,8 @@ archive(byte) = \"frontc.cma\"
archive(native) = \"frontc.cmxa\""))))
(symlink (string-append out "/lib/ocaml/frontc")
(string-append out "/lib/ocaml/FrontC"))))))
- #:make-flags (list (string-append "PREFIX="
- (assoc-ref %outputs "out"))
- "OCAML_SITE=$(LIB_DIR)/ocaml/")))
+ #:make-flags ,#~(list (string-append "PREFIX=" #$output)
+ "OCAML_SITE=$(LIB_DIR)/ocaml/")))
(properties `((upstream-name . "FrontC")))
(home-page "https://www.irit.fr/FrontC")
(synopsis "C parser and lexer library")
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 12:50:06 GMT)
Full text and
rfc822 format available.
Message #41 received at 50134 <at> debbugs.gnu.org (full text, mbox):
* gnu/packages/ocaml.scm
(dedukti)[arguments]<#:phases>: Use #$output. Remove trailing #t.
---
gnu/packages/ocaml.scm | 39 +++++++++++++++++----------------------
1 file changed, 17 insertions(+), 22 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index e89c1adbb9..82ee34c542 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4137,28 +4137,23 @@ cross-platform SDL C library.")
(build-system ocaml-build-system)
(arguments
`(#:phases
- (modify-phases %standard-phases
- (delete 'configure)
- (replace 'build
- (lambda _
- (invoke "make")
- #t))
- (replace 'check
- (lambda _
- (invoke "make" "tests")
- #t))
- (add-before 'install 'set-binpath
- ;; Change binary path in the makefile
- (lambda _
- (let ((out (assoc-ref %outputs "out")))
- (substitute* "GNUmakefile"
- (("BINDIR = (.*)$")
- (string-append "BINDIR = " out "/bin"))))
- #t))
- (replace 'install
- (lambda _
- (invoke "make" "install")
- #t)))))
+ ,#~(modify-phases %standard-phases
+ (delete 'configure)
+ (replace 'build
+ (lambda _
+ (invoke "make")))
+ (replace 'check
+ (lambda _
+ (invoke "make" "tests")))
+ (add-before 'install 'set-binpath
+ ;; Change binary path in the makefile
+ (lambda _
+ (substitute* "GNUmakefile"
+ (("BINDIR = (.*)$")
+ (string-append "BINDIR = " #$output "/bin")))))
+ (replace 'install
+ (lambda _
+ (invoke "make" "install"))))))
(synopsis "Proof-checker for the λΠ-calculus modulo theory, an extension of
the λ-calculus")
(description "Dedukti is a proof-checker for the λΠ-calculus modulo
--
2.33.0
Information forwarded
to
guix-patches <at> gnu.org
:
bug#50134
; Package
guix-patches
.
(Fri, 20 Aug 2021 13:15:02 GMT)
Full text and
rfc822 format available.
Message #44 received at 50134 <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Thanks, the series looks good to me, though untested on my side.
Le 20 août 2021 08:47:24 GMT-04:00, Maxime Devos <maximedevos <at> telenet.be> a écrit :
>Reported by 'slyfox' on IRC.
[Message part 2 (text/html, inline)]
Reply sent
to
Mathieu Othacehe <othacehe <at> gnu.org>
:
You have taken responsibility.
(Fri, 20 Aug 2021 16:35:01 GMT)
Full text and
rfc822 format available.
Notification sent
to
Maxime Devos <maximedevos <at> telenet.be>
:
bug acknowledged by developer.
(Fri, 20 Aug 2021 16:35:02 GMT)
Full text and
rfc822 format available.
Message #49 received at 50134-done <at> debbugs.gnu.org (full text, mbox):
Hey Maxime,
Pushed on core-updates-frozen.
Thanks,
Mathieu
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Sat, 18 Sep 2021 11:24:05 GMT)
Full text and
rfc822 format available.
This bug report was last modified 3 years and 270 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.