diff options
author | Anthony Cowley <acowley@gmail.com> | 2016-09-23 00:31:58 -0400 |
---|---|---|
committer | Anthony Cowley <acowley@gmail.com> | 2016-09-23 20:37:20 -0400 |
commit | a3c26fec3221af2e217bd13c82f035c0a8c0f581 (patch) | |
tree | 921872981528a8e47d3cd03fc88c978a7f2936da /pkgs/applications/science/logic/redprl | |
parent | cdec20ac58325af1f606a59413d5a31fc839c8d4 (diff) | |
download | nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.tar nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.tar.gz nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.tar.bz2 nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.tar.lz nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.tar.xz nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.tar.zst nixlib-a3c26fec3221af2e217bd13c82f035c0a8c0f581.zip |
redprl: init at 2016-09-22
Diffstat (limited to 'pkgs/applications/science/logic/redprl')
-rw-r--r-- | pkgs/applications/science/logic/redprl/default.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix new file mode 100644 index 000000000000..1df3fa940f94 --- /dev/null +++ b/pkgs/applications/science/logic/redprl/default.nix @@ -0,0 +1,26 @@ +{ stdenv, fetchgit, mlton }: +stdenv.mkDerivation { + name = "redprl-2016-09-22"; + src = fetchgit { + url = "https://github.com/RedPRL/sml-redprl.git"; + rev = "3215faf0d494f4ac14d6e10172329a161df192c4"; + sha256 = "0pcq4q9xy34j7ziwbly4qxccpkcrl92r9y11bv6hdkbzwm1g2a77"; + fetchSubmodules = true; + }; + buildInputs = [ mlton ]; + builder = builtins.toFile "builder.sh" '' + source $stdenv/setup + mkdir -p $out/bin + cp -r $src/* . + chmod -R +w src + ./script/mlton.sh + mv ./bin/redprl $out/bin + ''; + meta = { + description = "A proof assistant for Nominal Computational Type Theory"; + homepage = "http://www.redprl.org/"; + license = stdenv.lib.licenses.mit; + maintainers = [ stdenv.lib.maintainers.acowley ]; + platforms = stdenv.lib.platforms.unix; + }; +} |