From 304facbf3b763b18113d5f12e4b3c8c3866a2dea Mon Sep 17 00:00:00 2001 From: Michael Raskin <7c6f434c@mail.ru> Date: Tue, 1 May 2012 05:07:39 +0000 Subject: [PATCH] Adding LCI lambda calculus interpreter svn path=/nixpkgs/trunk/; revision=33962 --- pkgs/applications/science/logic/lci/default.nix | 16 ++++++++++++++++ pkgs/top-level/all-packages.nix | 2 ++ 2 files changed, 18 insertions(+) create mode 100644 pkgs/applications/science/logic/lci/default.nix diff --git a/pkgs/applications/science/logic/lci/default.nix b/pkgs/applications/science/logic/lci/default.nix new file mode 100644 index 000000000000..e2aff9313e95 --- /dev/null +++ b/pkgs/applications/science/logic/lci/default.nix @@ -0,0 +1,16 @@ +{stdenv, fetchurl, readline}: +stdenv.mkDerivation rec { + version = "0.6"; + name = "lci-${version}"; + src = fetchurl { + url = "mirror://sourceforge/lci/${name}.tar.gz"; + sha256="204f1ca5e2f56247d71ab320246811c220ed511bf08c9cb7f305cf180a93948e"; + }; + buildInputs = [readline]; + meta = { + description = ''Lambda calculus interpreter''; + maintainers = with stdenv.lib.maintainers; [raskin]; + platforms = with stdenv.lib.platforms; linux; + license = with stdenv.lib.licenses; gpl3; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 5fa79081e29a..2d0a394d80a5 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7054,6 +7054,8 @@ let fftw = fftwSinglePrec; }; + lci = callPackage ../applications/science/logic/lci {}; + ldcpp = callPackage ../applications/networking/p2p/ldcpp { inherit (gnome) libglade; };