mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-22 05:19:00 +02:00
minisat: migrate from builderDefsPackage to mkDerivation
This commit is contained in:
parent
5569824729
commit
516f331227
|
@ -1,56 +1,28 @@
|
|||
x@{builderDefsPackage
|
||||
, zlib
|
||||
, ...}:
|
||||
builderDefsPackage
|
||||
(a :
|
||||
let
|
||||
helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++
|
||||
[];
|
||||
{ stdenv, fetchurl, zlib }:
|
||||
|
||||
buildInputs = map (n: builtins.getAttr n x)
|
||||
(builtins.attrNames (builtins.removeAttrs x helperArgNames));
|
||||
sourceInfo = rec {
|
||||
baseName="minisat";
|
||||
version="2.2.0";
|
||||
name="${baseName}-${version}";
|
||||
url="http://minisat.se/downloads/${name}.tar.gz";
|
||||
hash="023qdnsb6i18yrrawlhckm47q8x0sl7chpvvw3gssfyw3j2pv5cj";
|
||||
};
|
||||
in
|
||||
rec {
|
||||
src = a.fetchurl {
|
||||
url = sourceInfo.url;
|
||||
sha256 = sourceInfo.hash;
|
||||
stdenv.mkDerivation rec {
|
||||
name = "minisat-${version}";
|
||||
version = "2.2.0";
|
||||
|
||||
src = fetchurl {
|
||||
url = "http://minisat.se/downloads/${name}.tar.gz";
|
||||
sha256 = "023qdnsb6i18yrrawlhckm47q8x0sl7chpvvw3gssfyw3j2pv5cj";
|
||||
};
|
||||
|
||||
inherit (sourceInfo) name version;
|
||||
inherit buildInputs;
|
||||
buildInputs = [ zlib ];
|
||||
|
||||
phaseNames = ["setVars" "doMake" "doDeploy"];
|
||||
goSrcDir = "cd simp";
|
||||
doDeploy = a.fullDepEntry (''
|
||||
mkdir -p "$out"/bin
|
||||
cp minisat_static "$out/bin"/minisat
|
||||
'') ["minInit" "defEnsureDir"];
|
||||
makeFlags = ["rs"];
|
||||
setVars = a.fullDepEntry (''
|
||||
export MROOT=$PWD/../
|
||||
'') ["doUnpack"];
|
||||
sourceRoot = "minisat/simp";
|
||||
makeFlags = [ "r" "MROOT=.." ];
|
||||
installPhase = ''
|
||||
mkdir -p $out/bin
|
||||
cp minisat_release $out/bin/minisat
|
||||
'';
|
||||
|
||||
meta = {
|
||||
description = "A compact and readable SAT-solver";
|
||||
maintainers = with a.lib.maintainers;
|
||||
[
|
||||
raskin
|
||||
];
|
||||
platforms = with a.lib.platforms;
|
||||
linux;
|
||||
license = a.stdenv.lib.licenses.mit;
|
||||
meta = with stdenv.lib; {
|
||||
description = "Compact and readable SAT solver";
|
||||
maintainers = with maintainers; [ gebner raskin ];
|
||||
platforms = platforms.unix;
|
||||
license = licenses.mit;
|
||||
homepage = "http://minisat.se/";
|
||||
};
|
||||
passthru = {
|
||||
updateInfo = {
|
||||
downloadPage = "http://minisat.se/MiniSat.html";
|
||||
};
|
||||
};
|
||||
}) x
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue