diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2018-04-03 21:40:09 -0400 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2018-04-04 17:24:28 -0400 |
commit | 9f70551937ff5478547092449fd588c1c09f4982 (patch) | |
tree | 0ec6c49390e05a870acd6f97d8a3e701fe648900 /pkgs/applications/science | |
parent | 5a53b98248d76ad2ec5a6457f208af8890e308f6 (diff) | |
download | nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.gz nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.bz2 nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.lz nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.xz nixlib-9f70551937ff5478547092449fd588c1c09f4982.tar.zst nixlib-9f70551937ff5478547092449fd588c1c09f4982.zip |
beluga: init at 20180403
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/beluga/default.nix | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/beluga/default.nix b/pkgs/applications/science/logic/beluga/default.nix new file mode 100644 index 000000000000..da0e9bf1c1dd --- /dev/null +++ b/pkgs/applications/science/logic/beluga/default.nix @@ -0,0 +1,34 @@ +{ stdenv, fetchFromGitHub, ocamlPackages, omake }: + +stdenv.mkDerivation { + name = "beluga-20180403"; + + src = fetchFromGitHub { + owner = "Beluga-lang"; + repo = "Beluga"; + rev = "046aa59f008be70a7c4700b723bed0214ea8b687"; + sha256 = "0m68y0r0wdw3mg2jks68bihaww7sg305zdfnic1rkndq2cxv0mld"; + }; + + nativeBuildInputs = with ocamlPackages; [ findlib ocamlbuild omake ]; + buildInputs = with ocamlPackages; [ ocaml ulex ocaml_extlib ]; + + installPhase = '' + mkdir -p $out + cp -r bin $out/ + + mkdir -p $out/share/beluga + cp -r tools/ examples/ $out/share/beluga + + mkdir -p $out/share/emacs/site-lisp/beluga/ + cp -r tools/beluga-mode.el $out/share/emacs/site-lisp/beluga + ''; + + meta = { + description = "A functional language for reasoning about formal systems"; + homepage = http://complogic.cs.mcgill.ca/beluga/; + license = stdenv.lib.licenses.gpl3Plus; + maintainers = [ stdenv.lib.maintainers.bcdarwin ]; + platforms = stdenv.lib.platforms.unix; + }; +} |