diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-12-14 20:41:21 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-12-14 23:32:37 -0800 |
| commit | 0042a343b460165b7aabc4d0e1a326e270c4f241 (patch) | |
| tree | 293be17c5ac5b37569a827fb6e20094a9556b5a0 /pkgs/development/coq-modules | |
| parent | b53407461a6d14436e769da65eeb92b1a7d6a872 (diff) | |
| download | nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.tar nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.tar.gz nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.tar.bz2 nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.tar.lz nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.tar.xz nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.tar.zst nixpkgs-0042a343b460165b7aabc4d0e1a326e270c4f241.zip | |
coqPackages.coq-haskell: New expression
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/coq-haskell/default.nix | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/coq-haskell/default.nix b/pkgs/development/coq-modules/coq-haskell/default.nix new file mode 100644 index 00000000000..bb5fe95a531 --- /dev/null +++ b/pkgs/development/coq-modules/coq-haskell/default.nix @@ -0,0 +1,51 @@ +{ stdenv, fetchgit, coq }: + +let param = + { + "8.5" = { + version = "20171214"; + rev = "d319043533585f60f0c89919a8370f85a9cf572b"; + sha256 = "154a8sx5igw86wby0ybk3rv5y21cji8489amgxhgqxfys9zmx2di"; + }; + + "8.6" = { + version = "20171214"; + rev = "d319043533585f60f0c89919a8370f85a9cf572b"; + sha256 = "154a8sx5igw86wby0ybk3rv5y21cji8489amgxhgqxfys9zmx2di"; + }; + + "8.7" = { + version = "20171214"; + rev = "d319043533585f60f0c89919a8370f85a9cf572b"; + sha256 = "154a8sx5igw86wby0ybk3rv5y21cji8489amgxhgqxfys9zmx2di"; + }; + + }."${coq.coq-version}" +; in + +stdenv.mkDerivation rec { + + name = "coq${coq.coq-version}-coq-haskell-${param.version}"; + + src = fetchgit { + url = git://github.com/jwiegley/coq-haskell.git; + inherit (param) rev sha256; + }; + + buildInputs = [ coq.ocaml coq.camlp5 coq.findlib ]; + propagatedBuildInputs = [ coq ]; + + enableParallelBuilding = false; + + installPhase = '' + make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install + ''; + + meta = with stdenv.lib; { + homepage = git://github.com/jwiegley/coq-haskell.git; + description = "A library for formalizing Haskell types and functions in Coq"; + maintainers = with maintainers; [ jwiegley ]; + platforms = coq.meta.platforms; + }; + +} |