tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 gmp,
6 autoreconfHook,
7 texliveSmall,
8}:
9
10stdenv.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 teams = [ teams.sage ];
31 platforms = platforms.unix;
32 homepage = "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html";
33 };
34}