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

@@ -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;
+}