diff options
| author | Ben Darwin <bcdarwin@gmail.com> | 2018-05-28 15:27:53 -0400 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-28 21:27:53 +0200 |
| commit | de897baceae1783e50bb47d7bdd3396b36c58cdd (patch) | |
| tree | 13473e09b13d589c1ce595d7f125cdd2c7adcce0 | |
| parent | 5427a1a3831ac7f6a08a2c7c73406af3dbfa49f3 (diff) | |
| download | nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.gz nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.bz2 nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.lz nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.xz nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.tar.zst nixlib-de897baceae1783e50bb47d7bdd3396b36c58cdd.zip | |
celf: init at 2013-07-25 (#41141)
| -rw-r--r-- | pkgs/applications/science/logic/celf/default.nix | 36 | ||||
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 6 |
2 files changed, 42 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/celf/default.nix b/pkgs/applications/science/logic/celf/default.nix new file mode 100644 index 000000000000..669cd46cd2ec --- /dev/null +++ b/pkgs/applications/science/logic/celf/default.nix @@ -0,0 +1,36 @@ +{ stdenv, fetchFromGitHub, smlnj }: + +stdenv.mkDerivation rec { + pname = "celf"; + pversion = "2013-07-25"; + name = "${pname}-${pversion}"; + + src = fetchFromGitHub { + owner = "clf"; + repo = pname; + rev = "d61d95900ab316468ae850fa34a2fe9488bc5b59"; + sha256 = "0slrwcxglp0sdbp6wr65cdkl5wcap2i0fqxbwqfi1q3cpb6ph6hq"; + }; + + buildInputs = [ smlnj ]; + + # (can also build with MLton) + buildPhase = '' + export SMLNJ_HOME=${smlnj} + sml < main-export.sml + ''; + + installPhase = '' + mkdir -p $out/bin + cp .heap* $out/bin/ + ./.mkexec ${smlnj}/bin/sml $out/bin celf + ''; + + meta = with stdenv.lib; { + description = "Linear logic programming system"; + homepage = http://github.com/clf/celf; + license = licenses.gpl3; + maintainers = with maintainers; [ bcdarwin ]; + platforms = platforms.unix; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a71a4c88726e..88df3cd265ae 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -20265,6 +20265,12 @@ with pkgs; tptp = callPackage ../applications/science/logic/tptp {}; + celf = callPackage ../applications/science/logic/celf { + smlnj = if stdenv.isDarwin + then smlnjBootstrap + else smlnj; + }; + twelf = callPackage ../applications/science/logic/twelf { smlnj = if stdenv.isDarwin then smlnjBootstrap |