20 lines
437 B
Nix
20 lines
437 B
Nix
|
with import <nixpkgs> {};
|
||
|
|
stdenv.mkDerivation rec {
|
||
|
|
name = "qmaxsat-${version}";
|
||
|
|
version = "14.04";
|
||
|
|
|
||
|
|
src = fetchurl {
|
||
|
|
url = https://sites.google.com/site/qmaxsat/maxsat2014-1/qmaxsat14.04auto-glucose3_static;
|
||
|
|
sha256 = "08dbcm473kxm13g0dli2aaqha26a1yy218y1jff2zval4i4wx10m";
|
||
|
|
};
|
||
|
|
|
||
|
|
unpackCmd = ''
|
||
|
|
mkdir src/
|
||
|
|
cp $src src/qmaxsat-bin
|
||
|
|
'';
|
||
|
|
|
||
|
|
installPhase = ''
|
||
|
|
install -D -m0755 qmaxsat* $out/bin/qmaxsat
|
||
|
|
'';
|
||
|
|
}
|