diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-22 19:49:16 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-11-05 16:59:23 +0100 |
commit | f4914d4eb4e966d7dbb66f903de391fc921b5349 (patch) | |
tree | 7192967268a11abf8fb5c4f03434599dfcbb39c8 /pkgs/development/coq-modules/bignums | |
parent | 585e9ccace739657da14e0f3068d6549527edaa8 (diff) | |
download | nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.tar nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.tar.gz nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.tar.bz2 nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.tar.lz nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.tar.xz nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.tar.zst nixlib-f4914d4eb4e966d7dbb66f903de391fc921b5349.zip |
bignums: init at various versions
Bignums used to be part of the standard library of Coq. We provide a version for Coq 8.6, and one for Coq 8.7.
Diffstat (limited to 'pkgs/development/coq-modules/bignums')
-rw-r--r-- | pkgs/development/coq-modules/bignums/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/bignums/default.nix b/pkgs/development/coq-modules/bignums/default.nix new file mode 100644 index 000000000000..5762da66fedd --- /dev/null +++ b/pkgs/development/coq-modules/bignums/default.nix @@ -0,0 +1,38 @@ +{ stdenv, fetchFromGitHub, coq }: + +let rev_and_sha = { + "8.6" = { + rev = "v8.6.0"; + sha256 = "0553pcsy21cyhmns6k9qggzb67az8kl31d0lwlnz08bsqswigzrj"; + }; + "8.7" = { + rev = "V8.7.0"; + sha256 = "11c4sdmpd3l6jjl4v6k213z9fhrmmm1xnly3zmzam1wrrdif4ghl"; + }; +}; +in + +if ! (rev_and_sha ? "${coq.coq-version}") then + throw "bignums is not available for Coq ${coq.coq-version}" +else with rev_and_sha."${coq.coq-version}"; + +stdenv.mkDerivation rec { + + name = "coq${coq.coq-version}-bignums"; + + src = fetchFromGitHub { + owner = "coq"; + repo = "bignums"; + inherit rev sha256; + }; + + buildInputs = [ coq.ocaml coq.camlp5 coq.findlib coq ]; + + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + meta = with stdenv.lib; { + license = licenses.lgpl2; + platforms = coq.meta.platforms; + }; + +} |