diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-08-24 09:58:14 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-08-28 07:36:16 +0200 |
| commit | 409d682a57d75bd303b35bdb95b933291674f338 (patch) | |
| tree | 2dd7ea2716c9fd9cc65e2b7594d4bfb3651d0e60 /pkgs/development/tools/ocaml | |
| parent | d6ddaa4ad658d91ef52405e3e33bcb1e747c239a (diff) | |
coqPackages_8_14.coq-elpi: fix by using old camlp5
Diffstat (limited to 'pkgs/development/tools/ocaml')
| -rw-r--r-- | pkgs/development/tools/ocaml/camlp5/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/tools/ocaml/camlp5/default.nix b/pkgs/development/tools/ocaml/camlp5/default.nix index a09f226b3f136..02355cb9846c6 100644 --- a/pkgs/development/tools/ocaml/camlp5/default.nix +++ b/pkgs/development/tools/ocaml/camlp5/default.nix @@ -1,5 +1,6 @@ { lib, stdenv, fetchFromGitHub, ocaml, findlib, perl, makeWrapper , rresult, bos, ocaml_pcre, re, camlp-streams +, legacy ? false }: if lib.versionOlder ocaml.version "4.02" @@ -7,7 +8,7 @@ then throw "camlp5 is not available for OCaml ${ocaml.version}" else let params = - if lib.versionAtLeast ocaml.version "4.12" + if lib.versionAtLeast ocaml.version "4.12" && !legacy then rec { version = "8.00.05"; |