Author: raskin
Date: Sat Dec 4 11:43:01 2010
New Revision: 24967
URL: https://svn.nixos.org/websvn/nix/?rev=24967&sc=1
Log:
Adding SPASS
Added:
nixpkgs/trunk/pkgs/applications/science/logic/spass/
nixpkgs/trunk/pkgs/applications/science/logic/spass/default.nix
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Added: nixpkgs/trunk/pkgs/applications/science/logic/spass/default.nix
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/spass/default.nix Sat Dec
4 11:43:01 2010 (r24967)
@@ -0,0 +1,49 @@
+...@{builderdefspackage
+ , ...}:
+builderDefsPackage
+(a :
+let
+ helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++
+ [];
+
+ buildInputs = map (n: builtins.getAttr n x)
+ (builtins.attrNames (builtins.removeAttrs x helperArgNames));
+ sourceInfo = rec {
+ baseName="spass";
+ baseVersion="3";
+ minorVersion="7";
+ version="${baseVersion}.${minorVersion}";
+ name="${baseName}-${version}";
+
url="http://www.spass-prover.org/download/sources/${baseName}${baseVersion}${minorVersion}.tgz";;
+ hash="1k5a98kr3vzga54zs7slwwaaf6v6agk1yfcayd8bl55q15g7xihk";
+ };
+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 = ["doConfigure" "doMakeInstall"];
+
+ meta = {
+ description = "An automated theorem preover for FOL";
+ maintainers = with a.lib.maintainers;
+ [
+ raskin
+ ];
+ platforms = with a.lib.platforms;
+ linux;
+ license = "BSD";
+ };
+ passthru = {
+ updateInfo = {
+ downloadPage = "http://www.spass-prover.org/download/index.html";;
+ };
+ };
+}) x
+
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==============================================================================
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Sat Dec 4 11:16:39
2010 (r24966)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Sat Dec 4 11:43:01
2010 (r24967)
@@ -6985,6 +6985,8 @@
satallax = callPackage ../applications/science/logic/satallax {};
+ spass = callPackage ../applications/science/logic/spass {};
+
ssreflect = callPackage ../applications/science/logic/ssreflect {
camlp5 = camlp5_transitional;
};
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
