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

Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1

Browse Source 
coqPackages.coqhammer: 1.1 → 1.1.1
This commit is contained in:
Benjamin Hipple 2020-03-28 23:20:37 -04:00 committed by GitHub
commit ef2995988a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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
params = {
"8.8" = {
version = "1.1";
sha256 = "0ms086wp4jmrzyglb8wymchzyflflk01nsfsk4r6qv8rrx81nx9h";
buildInputs = [ coq.ocamlPackages.camlp5 ];
};
"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};
in
stdenv.mkDerivation rec {
version = "1.1";
inherit (param) version;
name = "coq${coq.coq-version}-coqhammer-${version}";
src = fetchFromGitHub {
@ -31,8 +39,8 @@ stdenv.mkDerivation rec {
'';
buildInputs = [ coq ] ++ (with coq.ocamlPackages; [
ocaml findlib camlp5
]);
ocaml findlib
]) ++ (param.buildInputs or []);
preInstall = ''
mkdir -p $out/bin