diff options
| author | Valentin Robert <valentin.robert.42@gmail.com> | 2019-01-11 11:25:05 -0800 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-01-30 11:30:23 +0000 |
| commit | f5dbe5de072a7595949f27adbd8955af2927a3db (patch) | |
| tree | 5299341d19a58be16d24b041dfac9d0884da603d /pkgs/development/coq-modules | |
| parent | 4a200fbbf0a26c55e5ecb280cf173569bd813197 (diff) | |
| download | nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.gz nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.bz2 nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.lz nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.xz nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.tar.zst nixpkgs-f5dbe5de072a7595949f27adbd8955af2927a3db.zip | |
coqPackages.coq-extensible-records: init at 1.2.0
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/coq-extensible-records/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/coq-extensible-records/default.nix b/pkgs/development/coq-modules/coq-extensible-records/default.nix new file mode 100644 index 00000000000..513b046c0fe --- /dev/null +++ b/pkgs/development/coq-modules/coq-extensible-records/default.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchFromGitHub, coq }: + +stdenv.mkDerivation { + name = "coq${coq.coq-version}-coq-extensible-records-1.2.0"; + + src = fetchFromGitHub { + owner = "gmalecha"; + repo = "coq-extensible-records"; + rev = "1.2.0"; + sha256 = "0h5m04flqfk0v577syw0v1dw2wf7xrx6jaxv5gpmqzssf5hxafy4"; + }; + + buildInputs = [ coq ]; + + enableParallelBuilding = true; + + installPhase = '' + make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install + ''; + + meta = with stdenv.lib; { + homepage = https://github.com/gmalecha/coq-extensible-records; + description = "Implementation of extensible records in Coq"; + license = licenses.mit; + maintainers = with maintainers; [ ptival ]; + platforms = coq.meta.platforms; + }; + + passthru = { + compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" ]; + }; +} |