tjh.dev
1{ stdenv
2, fetchFromGitHub
3, gmp
4, autoreconfHook
5, texlive
6}:
7
8stdenv.mkDerivation rec {
9 name = "cddlib-${version}";
10 version = "0.94j";
11 src = fetchFromGitHub {
12 owner = "cddlib";
13 repo = "cddlib";
14 rev = "${version}";
15 sha256 = "1z03ljy3rrr0qq5gq54vynnif6fn0xhn05g90nnv0dpyc3ps8lzp";
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 stdenv.lib; {
26 inherit version;
27 description = ''An implementation of the Double Description Method for generating all vertices of a convex polyhedron'';
28 license = licenses.gpl2Plus;
29 maintainers = with maintainers; [raskin timokau];
30 platforms = platforms.unix;
31 homepage = https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html;
32 };
33}