public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

aspcud: 1.9.1 -> 1.9.4

Browse Source
This commit is contained in:
Vincent Laporte 2018-02-24 18:45:20 +00:00 committed by Vincent Laporte
parent 4ab5d3a1e7
commit d8ab8ddae1
1 changed files with 12 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

39
pkgs/tools/misc/aspcud/default.nix
View File

@ -1,42 +1,27 @@
{ stdenv, fetchurl, { stdenv, fetchzip
boost, clasp, cmake, gringo, re2c , boost, clasp, cmake, gringo, re2c
}: }:
let
version = "1.9.1";
in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.9.4";
name = "aspcud-${version}"; name = "aspcud-${version}";
src = fetchurl { src = fetchzip {
url = "mirror://sourceforge/project/potassco/aspcud/${version}/aspcud-${version}-source.tar.gz"; url = "https://github.com/potassco/aspcud/archive/v${version}.tar.gz";
sha256 = "09sqbshwrqz2fvlkz73mns5i3m70fh8mvwhz8450izy5lsligsg0"; sha256 = "0vrf7h7g99vw1mybqfrpxamsnf89p18czlzgjmxl1zkiwc7vjpzw";
}; };
buildInputs = [ boost clasp cmake gringo re2c ]; buildInputs = [ boost clasp cmake gringo re2c ];
buildPhase = '' cmakeFlags = [
cmake -DCMAKE_BUILD_TYPE=Release \ "-DCMAKE_BUILD_TYPE=Release"
-DGRINGO_LOC=${gringo}/bin/gringo \ "-DASPCUD_GRINGO_PATH=${gringo}/bin/gringo"
-DCLASP_LOC=${clasp}/bin/clasp \ "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp"
-DENCODING_LOC=$out/share/aspcud/specification.lp \ ];
.
make
'';
installPhase = ''
mkdir -p $out/bin
cp bin/{aspcud,cudf2lp,lemon} $out/bin
mkdir -p $out/share/aspcud
cp ../share/aspcud/specification.lp $out/share/aspcud
'';
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "Solver for package problems in CUDF format using ASP"; description = "Solver for package problems in CUDF format using ASP";
homepage = http://potasssco.sourceforge.net/; homepage = "https://potassco.org/aspcud/";
platforms = platforms.all; platforms = platforms.all;
maintainers = [ maintainers.hakuch ]; maintainers = [ maintainers.hakuch ];
license = licenses.gpl3Plus; license = licenses.gpl3Plus;