diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2010-12-04 11:43:01 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2010-12-04 11:43:01 +0000 |
commit | 86e44e72bf4611d899b6a32b854b19ce583dedfa (patch) | |
tree | 2c853739d66286a101a77ba0136ed3a586825481 /pkgs/applications/science | |
parent | 0141bfec630702c6f31717e4382aae49ecd4ca50 (diff) | |
download | nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.tar nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.tar.gz nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.tar.bz2 nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.tar.lz nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.tar.xz nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.tar.zst nixlib-86e44e72bf4611d899b6a32b854b19ce583dedfa.zip |
Adding SPASS
svn path=/nixpkgs/trunk/; revision=24967
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/spass/default.nix | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/spass/default.nix b/pkgs/applications/science/logic/spass/default.nix new file mode 100644 index 000000000000..2c6144baf0e8 --- /dev/null +++ b/pkgs/applications/science/logic/spass/default.nix @@ -0,0 +1,49 @@ +x@{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 + |