diff options
| author | Marius Bakke <marius@gnu.org> | 2022-08-27 00:17:57 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-08-27 00:17:57 +0200 |
| commit | 1fd262e8d36b4477556ca06b569d39f5604c7176 (patch) | |
| tree | 5b0c93931c22787df1f56858c827abfd0c2a02f8 /gnu/packages/coq.scm | |
| parent | c1a4ef98932799adbd278068fa4fdd8c24fff714 (diff) | |
| parent | 9f7236e3baf0523c53193c1836ed888e63449f50 (diff) | |
Merge branch 'master' into staging
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 '()))) |