diff options
| author | Marius Bakke <[email protected]> | 2017-09-04 22:34:28 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2017-09-04 22:34:28 +0200 |
| commit | a76585e5535f433d37c0900cf0b2d3c9d3b3461c (patch) | |
| tree | 007befec20e2a33117256eeee11b7c642179dad4 /gnu/packages/ocaml.scm | |
| parent | 1dc32c2961402c946c25e5a1aabe79a30cce3cff (diff) | |
| parent | c427fda233a7da0c8eb27e244a562c51d3835503 (diff) | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 2597775bf7..700c5698ed 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1631,9 +1631,9 @@ lets the client choose the concrete timeline.") #:make-flags (list "OCAMLFIND_LDCONF=ignore") #:phases (modify-phases %standard-phases - (add-before 'configure 'bootstrap + (add-after 'unpack 'bootstrap (lambda* (#:key #:allow-other-keys) - (system* "./bootstrap") + (system* "sh" "bootstrap") (substitute* "src/OCamlMakefile" (("/bin/sh") (which "bash"))) (substitute* "configure" |