ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 13:28:12 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: dune: Update to 4.4.1.

Browse source 
* gnu/packages/ocaml.scm (dune): Update to 4.4.1.
* gnu/packages/coq.scm (coq-stdlib): Fix for new dune.
This commit is contained in:
Julien Lepiller 2022-08-13 18:28:15 +02:00
parent b4d97ef2de
commit 42d5f769fb
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
2 changed files with 14 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
gnu/packages/coq.scm
View file

@ -101,7 +101,18 @@ (define-public coq-stdlib
(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 '())))

4
gnu/packages/ocaml.scm
View file

@ -1705,7 +1705,7 @@ (define-public ocaml-stringext
(define dune-bootstrap
(package
(name "dune")
(version "3.3.1")
(version "3.4.1")
(source (origin
(method git-fetch)
(uri (git-reference
@ -1714,7 +1714,7 @@ (define dune-bootstrap
(file-name (git-file-name name version))
(sha256
(base32
"0wdja70l7y1cj1d0sijm0q0cbics8xd9wqka7zyb29y1cc57pasa"))))
"02zn79l7y7rvy7b6bimlf5qymrvzc43w8q7l4jx3k8wzn2g5326z"))))
(build-system ocaml-build-system)
(arguments
`(#:tests? #f; require odoc