diff options
author | Joachim Fasting <joachifm@fastmail.fm> | 2015-07-16 03:33:19 +0200 |
---|---|---|
committer | Joachim Fasting <joachifm@fastmail.fm> | 2015-11-24 14:45:15 +0100 |
commit | 0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b (patch) | |
tree | d0b0b3729cb6593dfe5dfb7b03812402f5a5581a /pkgs/applications/science/logic | |
parent | c6d645803ab0a0854e30b93783446a4449298dfe (diff) | |
download | nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.tar nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.tar.gz nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.tar.bz2 nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.tar.lz nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.tar.xz nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.tar.zst nixlib-0a4e12c0e2e53c7f784b8468c09d35cc22a10a8b.zip |
opensmt: reimplement using mkDerivation
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/opensmt/default.nix | 56 |
1 files changed, 17 insertions, 39 deletions
diff --git a/pkgs/applications/science/logic/opensmt/default.nix b/pkgs/applications/science/logic/opensmt/default.nix index 62e11651175f..6129eaadc891 100644 --- a/pkgs/applications/science/logic/opensmt/default.nix +++ b/pkgs/applications/science/logic/opensmt/default.nix @@ -1,47 +1,25 @@ -x@{builderDefsPackage - , automake, libtool, autoconf, intltool, perl - , gmpxx, flex, bison - , ...}: -builderDefsPackage -(a : -let - helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++ - []; +{ stdenv, fetchurl, automake, libtool, autoconf, intltool, perl +, gmpxx, flex, bison +}: - 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="http://${baseName}.googlecode.com/files/${filename}.tgz"; - hash="0xrky7ixjaby5x026v7hn72xh7d401w9jhccxjn0khhn1x87p2w1"; - }; -in -rec { - src = a.fetchurl { - url = sourceInfo.url; - sha256 = sourceInfo.hash; - }; +stdenv.mkDerivation rec { + name = "opensmt-${version}"; + version = "20101017"; - inherit (sourceInfo) name version; - inherit buildInputs; + src = fetchurl { + url = "http://opensmt.googlecode.com/files/opensmt_src_${version}.tgz"; + sha256 = "0xrky7ixjaby5x026v7hn72xh7d401w9jhccxjn0khhn1x87p2w1"; + }; - /* doConfigure should be removed if not needed */ - phaseNames = ["doAutotools" "doConfigure" "doMakeInstall"]; + buildInputs = [ automake libtool autoconf intltool perl gmpxx flex bison ]; - meta = { + meta = with stdenv.lib; { description = "A satisfiability modulo theory (SMT) solver"; - maintainers = [ a.lib.maintainers.raskin ]; - platforms = a.lib.platforms.linux; - license = a.stdenv.lib.licenses.gpl3; + maintainers = [ maintainers.raskin ]; + platforms = platforms.linux; + license = licenses.gpl3; homepage = "http://code.google.com/p/opensmt/"; broken = true; + downloadPage = "http://code.google.com/p/opensmt/downloads/list"; }; - passthru = { - updateInfo = { - downloadPage = "http://code.google.com/p/opensmt/downloads/list"; - }; - }; -}) x +} |