diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2015-03-24 00:54:03 -0400 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2015-03-24 00:54:03 -0400 |
commit | 172167c937595938871559fafcd083f002c32a22 (patch) | |
tree | d59bb596c27b215b0ba37c949fea0272b0980e36 /pkgs/applications/science/logic | |
parent | c3bc040128da089d897340ed9f365c08828d7b97 (diff) | |
download | nixlib-172167c937595938871559fafcd083f002c32a22.tar nixlib-172167c937595938871559fafcd083f002c32a22.tar.gz nixlib-172167c937595938871559fafcd083f002c32a22.tar.bz2 nixlib-172167c937595938871559fafcd083f002c32a22.tar.lz nixlib-172167c937595938871559fafcd083f002c32a22.tar.xz nixlib-172167c937595938871559fafcd083f002c32a22.tar.zst nixlib-172167c937595938871559fafcd083f002c32a22.zip |
new package: abella 2.0.2
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/abella/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/abella/default.nix b/pkgs/applications/science/logic/abella/default.nix new file mode 100644 index 000000000000..1c3e8e412f80 --- /dev/null +++ b/pkgs/applications/science/logic/abella/default.nix @@ -0,0 +1,38 @@ +{ stdenv, fetchurl, rsync, ocaml }: + +stdenv.mkDerivation rec { + name = "abella-${version}"; + version = "2.0.2"; + + src = fetchurl { + url = "http://abella-prover.org/distributions/${name}.tar.gz"; + sha256 = "b56d865ebdb198111f1dcd5b6fbcc0d7fc6dd1294f7601903ba4e3c3322c099c"; + }; + + buildInputs = [ rsync ocaml ]; + + installPhase = '' + mkdir -p $out/bin + rsync -av abella $out/bin/ + + mkdir -p $out/share/emacs/site-lisp/abella/ + rsync -av emacs/ $out/share/emacs/site-lisp/abella/ + + mkdir -p $out/share/abella/examples + rsync -av examples/ $out/share/abella/examples/ + ''; + + meta = { + description = "Interactive theorem prover"; + longDescription = '' + Abella is an interactive theorem prover based on lambda-tree syntax. + This means that Abella is well-suited for reasoning about the meta-theory + of programming languages and other logical systems which manipulate + objects with binding. + ''; + homepage = http://abella-prover.org/; + license = stdenv.lib.licenses.gpl3; + maintainers = with stdenv.lib.maintainers; [ bcdarwin ]; + platforms = stdenv.lib.platforms.unix; + }; +} |