BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

coqPackages_8_14.coq-elpi: fix by using old camlp5

Browse source
This commit is contained in:
Vincent Laporte 2023-08-24 09:58:14 +02:00 committed by Vincent Laporte
parent d6ddaa4ad6
commit 409d682a57
2 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/development/ocaml-modules/elpi/default.nix
View file

@ -12,6 +12,9 @@
else if lib.versionAtLeast ocaml.version "4.07" then "1.15.2" else "1.14.1"
}:
let p5 = camlp5; in
let camlp5 = p5.override { legacy = true; }; in
let fetched = coqPackages.metaFetch ({
release."1.16.5".sha256 = "sha256-tKX5/cVPoBeHiUe+qn7c5FIRYCwY0AAukN7vSd/Nz9A=";
release."1.15.2".sha256 = "sha256-XgopNP83POFbMNyl2D+gY1rmqGg03o++Ngv3zJfCn2s=";

3
pkgs/development/tools/ocaml/camlp5/default.nix
View file

@ -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";