Author: raskin
Date: Sun Dec 5 18:22:14 2010
New Revision: 24978
URL: https://svn.nixos.org/websvn/nix/?rev=24978&sc=1
Log:
Adding OpenSMT
Added:
nixpkgs/trunk/pkgs/applications/science/logic/opensmt/
nixpkgs/trunk/pkgs/applications/science/logic/opensmt/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/applications/science/logic/opensmt/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/opensmt/default.nix Sun Dec
5 18:22:14 2010 (r24978)
@@ -0,0 +1,51 @@
+...@{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
+
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Sun Dec 5 17:50:29
2010 (r24977)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Sun Dec 5 18:22:14
2010 (r24978)
@@ -6983,6 +6983,10 @@
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 {};
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
