diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-06 00:34:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-06 00:34:47 +0100 |
commit | d307ab5ca3bff5609db8c942a40961278371bea4 (patch) | |
tree | a2ea02d362f4c79c981b45dc5043c755f80d1d0a /pkgs/applications/science | |
parent | 583a85129c336036554908f3fe044b4e85b86bf8 (diff) | |
parent | 9f70551937ff5478547092449fd588c1c09f4982 (diff) | |
download | nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.gz nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.bz2 nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.lz nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.xz nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.tar.zst nixlib-d307ab5ca3bff5609db8c942a40961278371bea4.zip |
Merge pull request #38416 from bcdarwin/beluga
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; + }; +} |