Coq: adapt for upcoming 8.14 (#128603)

This commit is contained in:
Théo Zimmermann 2021-06-30 04:47:31 +02:00 committed by GitHub
parent bfc605bf91
commit d3bb50e7da
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -129,14 +129,15 @@ self = stdenv.mkDerivation {
++ optionals buildIde
(if versionAtLeast "8.10"
then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme wrapGAppsHook ]
else [ ocamlPackages.lablgtk ]);
else [ ocamlPackages.lablgtk ])
++ optional (versionAtLeast "8.14") [ ocamlPackages.dune_2 ]
;
postPatch = ''
UNAME=$(type -tp uname)
RM=$(type -tp rm)
substituteInPlace configure --replace "/bin/uname" "$UNAME"
substituteInPlace tools/beautify-archive --replace "/bin/rm" "$RM"
substituteInPlace configure.ml --replace '"md5 -q"' '"md5sum"'
${if !versionAtLeast "8.7" then "substituteInPlace configure.ml --replace \"md5 -q\" \"md5sum\"" else ""}
${csdpPatch}
'';