pkgs/by-name/es/espresso/package.nix

   1 { lib, fetchFromGitHub, cmake, stdenv, nix-update-script }:
   2 stdenv.mkDerivation rec {
   3   pname = "espresso";
   4   version = "2.4";
   5   src = fetchFromGitHub {
   6     owner = "chipsalliance";
   7     repo = "espresso";
   8     rev = "v${version}";
   9     hash = "sha256-z5By57VbmIt4sgRgvECnLbZklnDDWUA6fyvWVyXUzsI=";
  10   };
  11
  12   nativeBuildInputs = [ cmake ];
  13
  14   doCheck = true;
  15
  16   outputs = [ "out" "man" ];
  17
  18   passthru.updateScript = nix-update-script { };
  19
  20   meta = with lib;{
  21     description = "Multi-valued PLA minimization";
  22     # from manual
  23     longDescription = ''
  24       Espresso takes as input a two-level representation of a
  25       two-valued (or multiple-valued) Boolean function, and produces a
  26       minimal equivalent representation.  The algorithms used are new and
  27       represent an advance in both speed and optimality of solution in
  28       heuristic Boolean minimization.
  29     '';
  30     homepage = "https://github.com/chipsalliance/espresso";
  31     maintainers = with maintainers;[ pineapplehunter ];
  32     mainProgram = "espresso";
  33     platforms = lib.platforms.all;
  34
  35     # The license is not provided in the GitHub repo,
  36     # so until there's an update on the license, it is marked as unfree.
  37     # See: https://github.com/chipsalliance/espresso/issues/4
  38     license = licenses.unfree;
  39   };
  40 }