nixpkgs/pkgs/tools/misc/aspcud/default.nix
Profpatsch 4a7f99d55d treewide: with stdenv.lib; in meta -> with lib;
Part of: https://github.com/NixOS/nixpkgs/issues/108938

meta = with stdenv.lib;

is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.

This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.

The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00

31 lines
784 B
Nix

{ lib, stdenv, fetchzip
, boost, clasp, cmake, gringo, re2c
}:
stdenv.mkDerivation rec {
version = "1.9.4";
pname = "aspcud";
src = fetchzip {
url = "https://github.com/potassco/aspcud/archive/v${version}.tar.gz";
sha256 = "0vrf7h7g99vw1mybqfrpxamsnf89p18czlzgjmxl1zkiwc7vjpzw";
};
nativeBuildInputs = [ cmake ];
buildInputs = [ boost clasp gringo re2c ];
cmakeFlags = [
"-DCMAKE_BUILD_TYPE=Release"
"-DASPCUD_GRINGO_PATH=${gringo}/bin/gringo"
"-DASPCUD_CLASP_PATH=${clasp}/bin/clasp"
];
meta = with lib; {
description = "Solver for package problems in CUDF format using ASP";
homepage = "https://potassco.org/aspcud/";
platforms = platforms.all;
maintainers = [ maintainers.hakuch ];
license = licenses.gpl3Plus;
};
}