diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-07 13:56:37 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-07 20:12:37 -0400 |
| commit | f80a606c6fe691ba111c65d04e345d0390315eb3 (patch) | |
| tree | a49f4099d67f5a03fd41fa2f6f5f3fb774a48c18 | |
| parent | 886cab78b306594a2152e1315d5bd6e5d404b05b (diff) | |
Removed unnecessary configure step from rocq build.
Change-Id: I81ff77d22ab261343b0c2154824e9b36c042735b
| -rw-r--r-- | gnu/packages/rocq.scm | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gnu/packages/rocq.scm b/gnu/packages/rocq.scm index 6bb029df16a..30fa2f0024a 100644 --- a/gnu/packages/rocq.scm +++ b/gnu/packages/rocq.scm @@ -47,10 +47,6 @@ ;; - https://github.com/ocaml/dune/issues/9152 ;; AFAIK, no patches addressing this in any project circa 2026. #~(modify-phases %standard-phases - (add-before 'build 'configure - (lambda* (#:key outputs #:allow-other-keys) - (let* ((out (assoc-ref outputs "out"))) - (invoke "./configure" "-prefix" out)))) (add-before 'build 'make-dunestrap (lambda _ (invoke "make" "DUNEOPT=-j1" "dunestrap"))))) |