Commit a7a5e224 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.dpdgraph: 1.0+8.20 -> 1.0+9.0

master also dropped autotools
parent dd746ea4
Loading
Loading
Loading
Loading
+21 −11
Original line number Diff line number Diff line
@@ -10,9 +10,8 @@ let
  hasWarning = lib.versionAtLeast coq.ocamlPackages.ocaml.version "4.08";
in

mkCoqDerivation {
(mkCoqDerivation {
  pname = "dpdgraph";
  owner = "Karmaki";
  repo = "coq-dpdgraph";
  inherit version;
  defaultVersion =
@@ -20,6 +19,7 @@ mkCoqDerivation {
      case = case: out: { inherit case out; };
    in
    lib.switch coq.coq-version [
      (case "9.0" "1.0+9.0")
      (case "8.20" "1.0+8.20")
      (case "8.19" "1.0+8.19")
      (case "8.18" "1.0+8.18")
@@ -36,6 +36,7 @@ mkCoqDerivation {
      (case "8.7" "0.6.2")
    ] null;

  release."1.0+9.0".sha256 = "sha256-gXy70fj2bAkE0did4gI0wTyWp9AIvOo4xTTihaFIpZ0=";
  release."1.0+8.20".sha256 = "sha256-szfH/OksCH3SCbcFjwEvLwHE5avmHp1vYiJM6KAXFqs=";
  release."1.0+8.19".sha256 = "sha256-L1vjEydYiwDFTXES3sgfdaO/D50AbTJKBXUKUCgbpto=";
  release."1.0+8.18".sha256 = "sha256-z14MI1VSYzPqmF1PqDXzymXWRMYoTlQAfR/P3Pdf7fI=";
@@ -58,15 +59,12 @@ mkCoqDerivation {
  release."0.6".sha256 = "0qvar8gfbrcs9fmvkph5asqz4l5fi63caykx3bsn8zf0xllkwv0n";
  releaseRev = v: "v${v}";

  nativeBuildInputs = [ autoreconfHook ];
  mlPlugin = true;
  buildInputs = [ coq.ocamlPackages.ocamlgraph ];

  # dpd_compute.ml uses deprecated Pervasives.compare
  # Versions prior to 0.6.5 do not have the WARN_ERR build flag
  preConfigure = lib.optionalString hasWarning ''
    substituteInPlace Makefile.in --replace "-warn-error +a " ""
  '';
  buildInputs = with coq.ocamlPackages; [
    ocaml
    findlib
    ocamlgraph
  ];

  buildFlags = lib.optional hasWarning "WARN_ERR=";

@@ -81,4 +79,16 @@ mkCoqDerivation {
    license = licenses.lgpl21;
    maintainers = with maintainers; [ vbgl ];
  };
}).overrideAttrs
  (
    o:
    lib.optionalAttrs (o.version != "dev" && lib.versions.isLe "1.0+9.0" o.version) {
      nativeBuildInputs = [ autoreconfHook ];

      # dpd_compute.ml uses deprecated Pervasives.compare
      # Versions prior to 0.6.5 do not have the WARN_ERR build flag
      preConfigure = lib.optionalString hasWarning ''
        substituteInPlace Makefile.in --replace "-warn-error +a " ""
      '';
    }
  )