diff options
| author | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-09-05 11:18:09 +0200 |
|---|---|---|
| committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-09-05 11:20:29 +0200 |
| commit | 46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46 (patch) | |
| tree | f18cada4e645bde3b56874c9dc4d31a8b46e27d9 /pkgs/development/interpreters | |
| parent | f912c211feb3c05192da5bbb13e00aceea41b73c (diff) | |
| download | nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.tar nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.tar.gz nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.tar.bz2 nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.tar.lz nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.tar.xz nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.tar.zst nixlib-46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46.zip | |
ceptre: init at 2015-08-15
A linear logic programming language for modeling generative interactive systems
Diffstat (limited to 'pkgs/development/interpreters')
| -rw-r--r-- | pkgs/development/interpreters/ceptre/default.nix | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/ceptre/default.nix b/pkgs/development/interpreters/ceptre/default.nix new file mode 100644 index 000000000000..4f1623504447 --- /dev/null +++ b/pkgs/development/interpreters/ceptre/default.nix @@ -0,0 +1,24 @@ +{ stdenv, fetchgit, mlton }: + +stdenv.mkDerivation rec { + name = "ceptre-2015-08-15"; + + src = fetchgit { + url = https://github.com/chrisamaphone/interactive-lp; + rev = "cffca6943b6c9f47d064e26ddad92c2d8eb6f0f9"; + sha256 = "0filimwssb656330d9gc8299l44imc5qyaf967p03ypg5260xq0i"; + }; + + nativeBuildInputs = [ mlton ]; + + installPhase = '' + mkdir -p $out/bin + cp ceptre $out/bin + ''; + + meta = with stdenv.lib; { + description = "A linear logic programming language for modeling generative interactive systems"; + homepage = https://github.com/chrisamaphone/interactive-lp; + maintainers = with maintainers; [ pSub ]; + }; +} |