diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/cddlib')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/cddlib/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/cddlib/default.nix b/nixpkgs/pkgs/development/libraries/cddlib/default.nix new file mode 100644 index 000000000000..e0d6149362cc --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/cddlib/default.nix @@ -0,0 +1,32 @@ +{ lib, stdenv +, fetchFromGitHub +, gmp +, autoreconfHook +, texlive +}: + +stdenv.mkDerivation rec { + pname = "cddlib"; + version = "0.94m"; + src = fetchFromGitHub { + owner = "cddlib"; + repo = "cddlib"; + rev = version; + sha256 = "09s8323h5w9j6mpl1yc6lm770dkskfxd2ayyafkcjllmnncxzfa0"; + }; + buildInputs = [gmp]; + nativeBuildInputs = [ + autoreconfHook + texlive.combined.scheme-small # for building the documentation + ]; + # No actual checks yet (2018-05-05), but maybe one day. + # Requested here: https://github.com/cddlib/cddlib/issues/25 + doCheck = true; + meta = with lib; { + description = "An implementation of the Double Description Method for generating all vertices of a convex polyhedron"; + license = licenses.gpl2Plus; + maintainers = teams.sage.members; + platforms = platforms.unix; + homepage = "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html"; + }; +} |