tjh.dev
1{ lib, stdenv
2, fetchFromGitHub
3, gmp
4, autoreconfHook
5, texliveSmall
6}:
7
8stdenv.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 texliveSmall # 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}