diff options
author | Nick Cao <nickcao@nichi.co> | 2024-01-03 23:20:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-03 23:20:11 -0500 |
commit | 794628a70db5cee7dcd27799cc41306737fff04b (patch) | |
tree | 735d5d94f2d43d8343d33b29037f8c7db5e46b54 /pkgs | |
parent | bb4a1b268d3f8c17cf17b37721c807191ff32486 (diff) | |
parent | 7ebba977b0bbbfeb6eb069f0c495153848fab83e (diff) |
Merge pull request #272597 from pineapplehunter/espresso
espresso: init at 2.4
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/by-name/es/espresso/package.nix | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/pkgs/by-name/es/espresso/package.nix b/pkgs/by-name/es/espresso/package.nix new file mode 100644 index 0000000000000..8939bec8ecccc --- /dev/null +++ b/pkgs/by-name/es/espresso/package.nix @@ -0,0 +1,40 @@ +{ 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; + }; +} |