-
Notifications
You must be signed in to change notification settings - Fork 0
/
default.nix
45 lines (38 loc) · 1.31 KB
/
default.nix
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
args@{
rev ? "a0a69be4b5ee63f1b5e75887a406e9194012b492"
, sha256 ? "16npglnyagxa9xrf80z4wy5lbff6xhcykzr96n90l6jdf0171a79"
, pkgs ? import (builtins.fetchTarball {
url = "https://github.com/NixOS/nixpkgs/archive/${rev}.tar.gz";
inherit sha256; }) {
config.allowUnfree = true;
config.allowBroken = false;
}
}:
let coq-jlib = coqPackages:
with pkgs.${coqPackages}; pkgs.stdenv.mkDerivation rec {
name = "coq${coq.coq-version}-jlib-${version}";
version = "1.0";
src = if pkgs ? coqFilterSource
then pkgs.coqFilterSource [] ./.
else ./.;
buildInputs = [
coq coq.ocaml coq.camlp5 coq.findlib equations # coqhammer pkgs.z3-tptp
];
enableParallelBuilding = true;
buildFlags = [
"JOBS=$(NIX_BUILD_CORES)"
];
installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/";
env = pkgs.buildEnv { inherit name; paths = buildInputs; };
passthru = {
compatibleCoqVersions = v: builtins.elem v [ "8.10" "8.11" "8.12" "8.13" "8.14" "8.15" ];
};
};
in {
coq-jlib_8_10 = coq-jlib "coqPackages_8_10";
coq-jlib_8_11 = coq-jlib "coqPackages_8_11";
coq-jlib_8_12 = coq-jlib "coqPackages_8_12";
coq-jlib_8_13 = coq-jlib "coqPackages_8_13";
coq-jlib_8_14 = coq-jlib "coqPackages_8_14";
coq-jlib_8_15 = coq-jlib "coqPackages_8_15";
}