diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-05 17:28:41 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-05 17:28:41 +0000 |
commit | a9f70d542d1e492aaa4e012b264c2a19ae4af8bc (patch) | |
tree | ac4b610608a1d0524238dc922eb23559c947d38b /pkgs/applications/science/logic | |
parent | c9c133ab1114182ce44340df5148430370fb65f2 (diff) | |
download | nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.tar nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.tar.gz nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.tar.bz2 nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.tar.lz nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.tar.xz nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.tar.zst nixlib-a9f70d542d1e492aaa4e012b264c2a19ae4af8bc.zip |
Adding CVC3 satisfiability modulo theory (SMT) solver
svn path=/nixpkgs/trunk/; revision=24975
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/cvc3/default.nix | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/cvc3/default.nix b/pkgs/applications/science/logic/cvc3/default.nix new file mode 100644 index 000000000000..9bb8f8cde4ca --- /dev/null +++ b/pkgs/applications/science/logic/cvc3/default.nix @@ -0,0 +1,54 @@ +x@{builderDefsPackage + , flex, bison, gmp, perl + , ...}: +builderDefsPackage +(a : +let + helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++ + ["gmp"]; + + buildInputs = (map (n: builtins.getAttr n x) + (builtins.attrNames (builtins.removeAttrs x helperArgNames))) + ++ [(a.lib.overrideDerivation x.gmp (y: {dontDisableStatic=true;}))]; + sourceInfo = rec { + baseName="cvc3"; + version="2.2"; + name="${baseName}-${version}"; + url="http://www.cs.nyu.edu/acsys/cvc3/releases/${version}/${name}.tar.gz"; + hash="1dw12d5vrixfr6l9j6j7026vrr22zb433xyl6n5yxx4hgfywi0ji"; + }; +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 = ["fixPaths" "doConfigure" "doMakeInstall"]; + fixPaths = a.fullDepEntry ('' + sed -e "s@ /bin/bash@bash@g" -i Makefile.std + find . -exec sed -e "s@/usr/bin/perl@${perl}/bin/perl@g" -i '{}' ';' + '') ["minInit" "doUnpack"]; + + meta = { + description = "A prover for satisfiability modulo theory (SMT)"; + maintainers = with a.lib.maintainers; + [ + raskin + ]; + platforms = with a.lib.platforms; + linux; + license = "free-noncopyleft"; + homepage = "http://www.cs.nyu.edu/acsys/cvc3/index.html"; + }; + passthru = { + updateInfo = { + downloadPage = "http://www.cs.nyu.edu/acsys/cvc3/download.html"; + }; + }; +}) x + |