From 46d9fbc4460e1fd5b2e39b6fe3eed79be0c65d46 Mon Sep 17 00:00:00 2001
From: Pascal Wittmann <mail@pascal-wittmann.de>
Date: Sat, 5 Sep 2015 11:18:09 +0200
Subject: [PATCH] ceptre: init at 2015-08-15 A linear logic programming
 language for modeling generative interactive systems

---
 .../interpreters/ceptre/default.nix           | 24 +++++++++++++++++++
 pkgs/top-level/all-packages.nix               |  2 ++
 2 files changed, 26 insertions(+)
 create mode 100644 pkgs/development/interpreters/ceptre/default.nix

diff --git a/pkgs/development/interpreters/ceptre/default.nix b/pkgs/development/interpreters/ceptre/default.nix
new file mode 100644
index 00000000000..4f162350444
--- /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 ];
+  };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index 73a152de462..5c75d82131e 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -4925,6 +4925,8 @@ let
 
   chibi = callPackage ../development/interpreters/chibi { };
 
+  ceptre = callPackage ../development/interpreters/ceptre { };
+
   clisp = callPackage ../development/interpreters/clisp { };
 
   # compatibility issues in 2.47 - at list 2.44.1 is known good