diff options
author | John Wiegley <johnw@newartisans.com> | 2017-11-12 09:33:40 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-11-12 09:33:40 -0800 |
commit | 7d6d4af1d1f05022d8c63c48e23227c238247b43 (patch) | |
tree | 4fa7c539472d1172cebeaf420dd80d2c3d8c6b44 | |
parent | dcab51c6f41f74e68e0aa5e2c5e86dd6f8d1fa8d (diff) | |
download | nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.tar nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.tar.gz nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.tar.bz2 nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.tar.lz nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.tar.xz nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.tar.zst nixlib-7d6d4af1d1f05022d8c63c48e23227c238247b43.zip |
Add missing default.nix for coqPackages.equations
-rw-r--r-- | pkgs/development/coq-modules/equations/default.nix | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/equations/default.nix b/pkgs/development/coq-modules/equations/default.nix new file mode 100644 index 000000000000..eb05a1be53e2 --- /dev/null +++ b/pkgs/development/coq-modules/equations/default.nix @@ -0,0 +1,45 @@ +{ stdenv, fetchFromGitHub, coq }: + +let param = + { + "8.6" = { + version = "1.0-beta"; + rev = "v1.0-beta"; + sha256 = "00pzlh5ij7s2hmpvimq1hjq3fjf0nrk997l3dl51kigx5r5dnvxd"; + }; + + "8.7" = { + version = "cdf8c53"; + rev = "cdf8c53f1f2274b29506f53bff476409ce717dc5"; + sha256 = "0ipjzmviwnp0ippbkn03ld4j4j0dkzmyidmj4dvpdvymrkv31ai1"; + }; + + }."${coq.coq-version}" +; in + +stdenv.mkDerivation rec { + + name = "coq${coq.coq-version}-equations-${version}"; + version = "${param.version}"; + + src = fetchFromGitHub { + owner = "mattam82"; + repo = "Coq-Equations"; + rev = "${param.rev}"; + sha256 = "${param.sha256}"; + }; + + buildInputs = [ coq.ocaml coq.camlp5 coq.findlib coq ]; + + preBuild = "coq_makefile -f _CoqProject -o Makefile"; + + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + meta = with stdenv.lib; { + homepage = https://mattam82.github.io/Coq-Equations/; + description = "A plugin for Coq to add dependent pattern-matching"; + maintainers = with maintainers; [ jwiegley ]; + platforms = coq.meta.platforms; + }; + +} |