diff options
| author | Marius Bakke <[email protected]> | 2022-08-27 17:10:55 +0200 |
|---|---|---|
| committer | Marius Bakke <[email protected]> | 2022-08-27 17:10:55 +0200 |
| commit | ad384816fe260be98bc53701d9d761197ef162fc (patch) | |
| tree | ff06eb12983b7cbd972c3153404bb3952e2f28c0 /gnu/packages/coq.scm | |
| parent | d08411ffd0a36a6b67a238be69d32c9f74101389 (diff) | |
| parent | fb3d90b8f31c4b1e2e3d427544c6610f3fe1ce55 (diff) | |
Merge branch 'staging' into core-updates
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index bbb6c4d435..bbb34df27d 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -101,7 +101,18 @@ It is developed using Objective Caml and Camlp5.") (name "coq-stdlib") (arguments `(#:package "coq-stdlib" - #:test-target ".")) + #:test-target "." + #:phases + (modify-phases %standard-phases + (add-before 'build 'fix-dune + (lambda _ + (substitute* "user-contrib/Ltac2/dune" + (("coq-core.plugins.ltac2") + (string-join + (map (lambda (plugin) (string-append "coq-core.plugins." plugin)) + '("ltac2" "number_string_notation" "tauto" "cc" + "firstorder")) + " ")))))))) (inputs (list coq-core gmp ocaml-zarith)) (native-inputs '()))) |