pkgs/by-name/cd/cddlib/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5   gmp,
   6   autoreconfHook,
   7   texliveSmall,
   8 }:
   9
  10 stdenv.mkDerivation rec {
  11   pname = "cddlib";
  12   version = "0.94m";
  13   src = fetchFromGitHub {
  14     owner = "cddlib";
  15     repo = "cddlib";
  16     rev = version;
  17     sha256 = "09s8323h5w9j6mpl1yc6lm770dkskfxd2ayyafkcjllmnncxzfa0";
  18   };
  19   buildInputs = [ gmp ];
  20   nativeBuildInputs = [
  21     autoreconfHook
  22     texliveSmall # for building the documentation
  23   ];
  24   # No actual checks yet (2018-05-05), but maybe one day.
  25   # Requested here: https://github.com/cddlib/cddlib/issues/25
  26   doCheck = true;
  27   meta = with lib; {
  28     description = "Implementation of the Double Description Method for generating all vertices of a convex polyhedron";
  29     license = licenses.gpl2Plus;
  30     maintainers = teams.sage.members;
  31     platforms = platforms.unix;
  32     homepage = "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html";
  33   };
  34 }