diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-10-11 13:29:12 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-10-11 13:29:45 -0500 |
| commit | 814961f37afdc3ceb942331e8ee72545fb808e7e (patch) | |
| tree | 353d0ec331b82eab4fb54fb5dd11f822c56b26a5 /pkgs/development/coq-modules | |
| parent | 47182da0a32275e470774ad2a5a892815b104f04 (diff) | |
| download | nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.tar nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.tar.gz nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.tar.bz2 nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.tar.lz nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.tar.xz nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.tar.zst nixlib-814961f37afdc3ceb942331e8ee72545fb808e7e.zip | |
coqPackages.tlc: new expression
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/tlc/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix new file mode 100644 index 000000000000..63ad2522ad2f --- /dev/null +++ b/pkgs/development/coq-modules/tlc/default.nix @@ -0,0 +1,29 @@ +{stdenv, fetchsvn, coq}: + +stdenv.mkDerivation { + + name = "coq-tlc-${coq.coq-version}"; + + src = fetchsvn { + url = svn://scm.gforge.inria.fr/svn/tlc/branches/v3.1; + rev = 240; + sha256 = "0mjnb6n9wzb13y2ix9cvd6irzd9d2gj8dcm2x71wgan0jcskxadm"; + }; + + buildInputs = [ coq.ocaml coq.camlp5 ]; + propagatedBuildInputs = [ coq ]; + + installPhase = '' + COQLIB=$out/lib/coq/${coq.coq-version}/ + ensureDir $COQLIB/user-contrib/Tlc + cp -p *.vo $COQLIB/user-contrib/Tlc + ''; + + meta = with stdenv.lib; { + homepage = http://www.chargueraud.org/softs/tlc/; + description = "TLC is a general purpose Coq library that provides an alternative to Coq's standard library"; + maintainers = with maintainers; [ jwiegley ]; + platforms = coq.meta.platforms; + }; + +} |