diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-05 18:22:14 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-05 18:22:14 +0000 |
commit | 6b8abaa29ec490cd9ac1988ce63564672d472caa (patch) | |
tree | c74472f7e9657530de27039a38b0fd22146a2c40 | |
parent | a9f70d542d1e492aaa4e012b264c2a19ae4af8bc (diff) | |
download | nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.tar nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.tar.gz nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.tar.bz2 nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.tar.lz nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.tar.xz nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.tar.zst nixpkgs-6b8abaa29ec490cd9ac1988ce63564672d472caa.zip |
Adding OpenSMT
svn path=/nixpkgs/trunk/; revision=24978
-rw-r--r-- | pkgs/applications/science/logic/opensmt/default.nix | 51 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 55 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix new file mode 100644 index 00000000000..165c8a2f148 --- /dev/null +++ b/pkgs/applications/science/logic/opensmt/default.nix @@ -0,0 +1,51 @@ +x@{builderDefsPackage + , automake, libtool, autoconf, intltool, perl + , gmpxx, flex, bison + , ...}: +builderDefsPackage +(a : +let + helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++ + []; + + buildInputs = map (n: builtins.getAttr n x) + (builtins.attrNames (builtins.removeAttrs x helperArgNames)); + sourceInfo = rec { + baseName="opensmt"; + version="20101017"; + name="${baseName}-${version}"; + filename="${baseName}_src_${version}"; + url="${baseName}.googlecode.com/files/${filename}.tgz"; + hash="0xrky7ixjaby5x026v7hn72xh7d401w9jhccxjn0khhn1x87p2w1"; + }; +in +rec { + src = a.fetchurl { + url = sourceInfo.url; + sha256 = sourceInfo.hash; + }; + + inherit (sourceInfo) name version; + inherit buildInputs; + + /* doConfigure should be removed if not needed */ + phaseNames = ["doAutotools" "doConfigure" "doMakeInstall"]; + + meta = { + description = "A satisfiability modulo theory (SMT) solver"; + maintainers = with a.lib.maintainers; + [ + raskin + ]; + platforms = with a.lib.platforms; + linux; + license = "GPLv3"; + homepage = "http://code.google.com/p/opensmt/"; + }; + passthru = { + updateInfo = { + downloadPage = "http://code.google.com/p/opensmt/downloads/list"; + }; + }; +}) x + diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7fbe22c97e0..b3b292cce16 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6983,6 +6983,10 @@ let leo2 = callPackage ../applications/science/logic/leo2 {}; + opensmt = callPackage ../applications/science/logic/opensmt { + flex = flex2535; + }; + prover9 = callPackage ../applications/science/logic/prover9 { }; satallax = callPackage ../applications/science/logic/satallax {}; |