diff options
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" |