pkgs/development/libraries/cddlib/default.nix

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