tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 gmp,
6 autoreconfHook,
7 texliveSmall,
8}:
9
10stdenv.mkDerivation (finalAttrs: {
11 pname = "cddlib";
12 version = "0.94n";
13 src = fetchFromGitHub {
14 owner = "cddlib";
15 repo = "cddlib";
16 rev = finalAttrs.version;
17 sha256 = "sha256-j4gXrxsWWiJH5gZc2ZzfYGsBCMJ7G7SQ1xEgurRWZrQ=";
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 = {
28 description = "Implementation of the Double Description Method for generating all vertices of a convex polyhedron";
29 license = lib.licenses.gpl2Plus;
30 teams = [ lib.teams.sage ];
31 platforms = lib.platforms.unix;
32 homepage = "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html";
33 };
34})