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

coqPackages.coqhammer: 1.1 → 1.1.1

Browse Source
This commit is contained in:
Vincent Laporte 2020-03-25 08:44:34 +01:00
parent 8e8efc7ace
commit db5bde2342
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 12 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
pkgs/development/coq-modules/coqhammer/default.nix
View File

@ -3,17 +3,25 @@
let let
params = { params = {
"8.8" = { "8.8" = {
version = "1.1";
sha256 = "0ms086wp4jmrzyglb8wymchzyflflk01nsfsk4r6qv8rrx81nx9h"; sha256 = "0ms086wp4jmrzyglb8wymchzyflflk01nsfsk4r6qv8rrx81nx9h";
buildInputs = [ coq.ocamlPackages.camlp5 ];
}; };
"8.9" = { "8.9" = {
sha256 = "0hmqwsry8ldg4g4hhwg4b84dgzibpdrg1wwsajhlyqfx3fb3n3b5"; version = "1.1.1";
sha256 = "1knjmz4hr8vlp103j8n4fyb2lfxysnm512gh3m2kp85n6as6fvb9";
buildInputs = [ coq.ocamlPackages.camlp5 ];
};
"8.10" = {
version = "1.1.1";
sha256 = "0b6r7bsygl1axbqybkhkr7zlwcd51ski5ql52994klrrxvjd58df";
}; };
}; };
param = params.${coq.coq-version}; param = params.${coq.coq-version};
in in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.1"; inherit (param) version;
name = "coq${coq.coq-version}-coqhammer-${version}"; name = "coq${coq.coq-version}-coqhammer-${version}";
src = fetchFromGitHub { src = fetchFromGitHub {
@ -31,8 +39,8 @@ stdenv.mkDerivation rec {
''; '';
buildInputs = [ coq ] ++ (with coq.ocamlPackages; [ buildInputs = [ coq ] ++ (with coq.ocamlPackages; [
ocaml findlib camlp5 ocaml findlib
]); ]) ++ (param.buildInputs or []);
preInstall = '' preInstall = ''
mkdir -p $out/bin mkdir -p $out/bin