From 8d7fe32a0e27327ead564396669cbedbab89c669 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Tue, 15 Jul 2008 09:58:30 +0000
Subject: maude, tecla, buddy: new packages

Maude is a high-level specification language. Buddy and libtecla are required
to build Maude.

svn path=/nixpkgs/trunk/; revision=12358
---
 pkgs/development/libraries/buddy/default.nix | 19 +++++++++++++++++++
 pkgs/development/libraries/tecla/default.nix | 18 ++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 pkgs/development/libraries/buddy/default.nix
 create mode 100644 pkgs/development/libraries/tecla/default.nix

(limited to 'pkgs/development/libraries')

diff --git a/pkgs/development/libraries/buddy/default.nix b/pkgs/development/libraries/buddy/default.nix
new file mode 100644
index 00000000000..52bbb2f4df3
--- /dev/null
+++ b/pkgs/development/libraries/buddy/default.nix
@@ -0,0 +1,19 @@
+{ stdenv, fetchurl }:
+
+stdenv.mkDerivation rec
+{
+  name = "buddy-2.4";
+  meta =
+  {
+    homepage = "http://sourceforge.net/projects/buddy/";
+    description = "binary decision diagram package";
+    license = "as-is";
+  };
+  src = fetchurl
+  {
+    url = "mirror://sourceforge/buddy/${name}.tar.gz";
+    sha256 = "0dl86l9xkl33wnkz684xa9axhcxx2zzi4q5lii0axnb9lsk81pyk";
+  };
+  configureFlags = "CFLAGS=-O3 CXXFLAGS=-O3 --disable-static";
+  doCheck = true;
+}
diff --git a/pkgs/development/libraries/tecla/default.nix b/pkgs/development/libraries/tecla/default.nix
new file mode 100644
index 00000000000..53989bcefb5
--- /dev/null
+++ b/pkgs/development/libraries/tecla/default.nix
@@ -0,0 +1,18 @@
+{ stdenv, fetchurl }:
+
+stdenv.mkDerivation rec
+{
+  name = "tecla-1.6.1";
+  meta =
+  {
+    homepage = "http://www.astro.caltech.edu/~mcs/tecla/";
+    description = "Tecla command-line editing library";
+    license = "as-is";
+  };
+  src = fetchurl
+  {
+    url = "http://www.astro.caltech.edu/~mcs/tecla/lib${name}.tar.gz";
+    sha256 = "18crv6q5f9g0cg6ry5h9dsa10inhpslklrv20h70f58lpm3jknr1";
+  };
+  configureFlags = "CFLAGS=-O3 CXXFLAGS=-O3";
+}
-- 
cgit 1.4.1