pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
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}