tjh.dev
1{stdenv, fetchurl, gmp}:
2stdenv.mkDerivation rec {
3 name = "cddlib-${version}";
4 fileVersion = "094h";
5 version = "0.94h";
6 src = fetchurl {
7 urls = [
8 "http://archive.ubuntu.com/ubuntu/pool/universe/c/cddlib/cddlib_${fileVersion}.orig.tar.gz"
9 "ftp://ftp.math.ethz.ch/users/fukudak/cdd/cddlib-${fileVersion}.tar.gz"
10 ];
11 name = "";
12 sha256 = "1dasasscwfg793q8fwzgwf64xwj7w62yfvszpr8x8g38jka08vgy";
13 };
14 buildInputs = [gmp];
15 meta = {
16 inherit version;
17 description = ''An implementation of the Double Description Method for generating all vertices of a convex polyhedron'';
18 license = stdenv.lib.licenses.gpl2Plus ;
19 maintainers = [stdenv.lib.maintainers.raskin];
20 platforms = stdenv.lib.platforms.linux;
21 homepage = https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html;
22 };
23}