nixpkgs/pkgs/by-name/es/espresso/package.nix
2024-01-04 11:03:39 +09:00

41 lines
1.3 KiB
Nix

{ lib, fetchFromGitHub, cmake, stdenv, nix-update-script }:
stdenv.mkDerivation rec {
pname = "espresso";
version = "2.4";
src = fetchFromGitHub {
owner = "chipsalliance";
repo = "espresso";
rev = "v${version}";
hash = "sha256-z5By57VbmIt4sgRgvECnLbZklnDDWUA6fyvWVyXUzsI=";
};
nativeBuildInputs = [ cmake ];
doCheck = true;
outputs = [ "out" "man" ];
passthru.updateScript = nix-update-script { };
meta = with lib;{
description = "Multi-valued PLA minimization";
# from manual
longDescription = ''
Espresso takes as input a two-level representation of a
two-valued (or multiple-valued) Boolean function, and produces a
minimal equivalent representation. The algorithms used are new and
represent an advance in both speed and optimality of solution in
heuristic Boolean minimization.
'';
homepage = "https://github.com/chipsalliance/espresso";
maintainers = with maintainers;[ pineapplehunter ];
mainProgram = "espresso";
platforms = lib.platforms.all;
# The license is not provided in the GitHub repo,
# so until there's an update on the license, it is marked as unfree.
# See: https://github.com/chipsalliance/espresso/issues/4
license = licenses.unfree;
};
}