diff --git a/pkgs/development/libraries/cddlib/default.nix b/pkgs/development/libraries/cddlib/default.nix new file mode 100644 index 00000000000..550a660b966 --- /dev/null +++ b/pkgs/development/libraries/cddlib/default.nix @@ -0,0 +1,23 @@ +{stdenv, fetchurl, gmp}: +stdenv.mkDerivation rec { + name = "cddlib-${version}"; + fileVersion = "094h"; + version = "0.94h"; + src = fetchurl { + urls = [ + "http://archive.ubuntu.com/ubuntu/pool/universe/c/cddlib/cddlib_${fileVersion}.orig.tar.gz" + "ftp://ftp.math.ethz.ch/users/fukudak/cdd/cddlib-${fileVersion}.tar.gz" + ]; + name = ""; + sha256 = "1dasasscwfg793q8fwzgwf64xwj7w62yfvszpr8x8g38jka08vgy"; + }; + buildInputs = [gmp]; + meta = { + inherit version; + description = ''An implementation of the Double Description Method for generating all vertices of a convex polyhedron''; + license = stdenv.lib.licenses.gpl2Plus ; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.linux; + homepage = "https://www.inf.ethz.ch/personal/fukudak/cdd_home/index.html"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 01e5d461095..751d75bef31 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6603,6 +6603,8 @@ in ndn-cxx = callPackage ../development/libraries/ndn-cxx { }; + cddlib = callPackage ../development/libraries/cddlib {}; + cdk = callPackage ../development/libraries/cdk {}; cimg = callPackage ../development/libraries/cimg { };