Author: raskin
Date: Sun Dec 5 17:28:41 2010
New Revision: 24975
URL: https://svn.nixos.org/websvn/nix/?rev=24975&sc=1
Log:
Adding CVC3 satisfiability modulo theory (SMT) solver
Added:
nixpkgs/trunk/pkgs/applications/science/logic/cvc3/
nixpkgs/trunk/pkgs/applications/science/logic/cvc3/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/applications/science/logic/cvc3/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/cvc3/default.nix Sun Dec
5 17:28:41 2010 (r24975)
@@ -0,0 +1,54 @@
+...@{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/b...@bash@g" -i Makefile.std
+ find . -exec sed -e "s@/usr/bin/p...@${perl}/bin/p...@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
+
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Sun Dec 5 16:43:41
2010 (r24974)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Sun Dec 5 17:28:41
2010 (r24975)
@@ -6955,6 +6955,8 @@
camlp5 = camlp5_transitional;
};
+ cvc3 = callPackage ../applications/science/logic/cvc3 {};
+
eprover = callPackage ../applications/science/logic/eProver {
texLive = texLiveAggregationFun {
paths = [
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
