public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.dpdgraph: fix build with OCaml ≥ 4.08

Browse Source
This commit is contained in:
Vincent Laporte 2020-04-06 08:39:01 +02:00 committed by Vincent Laporte
parent 1bf1ae3966
commit f2eeeb83f2
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/coq-modules/dpdgraph/default.nix
View File

@ -36,6 +36,8 @@ let params = {
param = params.${coq.coq-version}; param = params.${coq.coq-version};
in in
let hasWarning = stdenv.lib.versionAtLeast coq.ocamlPackages.ocaml.version "4.08"; in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "coq${coq.coq-version}-dpdgraph-${param.version}"; name = "coq${coq.coq-version}-dpdgraph-${param.version}";
src = fetchFromGitHub { src = fetchFromGitHub {
@ -49,6 +51,14 @@ stdenv.mkDerivation {
buildInputs = [ coq ] buildInputs = [ coq ]
++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ocamlgraph ]); ++ (with coq.ocamlPackages; [ ocaml camlp5 findlib ocamlgraph ]);
# dpd_compute.ml uses deprecated Pervasives.compare
# Versions prior to 0.6.5 do not have the WARN_ERR build flag
preConfigure = stdenv.lib.optionalString hasWarning ''
substituteInPlace Makefile.in --replace "-warn-error +a " ""
'';
buildFlags = stdenv.lib.optional hasWarning "WARN_ERR=";
preInstall = '' preInstall = ''
mkdir -p $out/bin mkdir -p $out/bin
''; '';