pkgs/development/libraries/ppl/default.nix

   1 { fetchurl, fetchpatch, lib, stdenv, gmpxx, perl, gnum4 }:
   2
   3 let version = "1.2"; in
   4
   5 stdenv.mkDerivation {
   6   pname = "ppl";
   7   inherit version;
   8
   9   src = fetchurl {
  10     url = "http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.bz2";
  11     sha256 = "1wgxcbgmijgk11df43aiqfzv31r3bkxmgb4yl68g21194q60nird";
  12   };
  13
  14   patches = [(fetchpatch {
  15     name = "clang5-support.patch";
  16     url = "https://git.sagemath.org/sage.git/plain/build/pkgs/ppl/patches/clang5-support.patch?h=9.2";
  17     sha256 = "1zj90hm25pkgvk4jlkfzh18ak9b98217gbidl3731fdccbw6hr87";
  18   })];
  19
  20   nativeBuildInputs = [ perl gnum4 ];
  21   propagatedBuildInputs = [ gmpxx ];
  22
  23   configureFlags = [ "--disable-watchdog" ] ++
  24     lib.optionals stdenv.isDarwin [
  25       "CPPFLAGS=-fexceptions"
  26       "--disable-ppl_lcdd" "--disable-ppl_lpsol" "--disable-ppl_pips"
  27     ];
  28
  29   # Beware!  It took ~6 hours to compile PPL and run its tests on a 1.2 GHz
  30   # x86_64 box.  Nevertheless, being a dependency of GCC, it probably ought
  31   # to be tested.
  32   doCheck = false;
  33
  34   enableParallelBuilding = true;
  35
  36   meta = {
  37     description = "The Parma Polyhedra Library";
  38
  39     longDescription = ''
  40       The Parma Polyhedra Library (PPL) provides numerical abstractions
  41       especially targeted at applications in the field of analysis and
  42       verification of complex systems.  These abstractions include convex
  43       polyhedra, defined as the intersection of a finite number of (open or
  44       closed) halfspaces, each described by a linear inequality (strict or
  45       non-strict) with rational coefficients; some special classes of
  46       polyhedra shapes that offer interesting complexity/precision tradeoffs;
  47       and grids which represent regularly spaced points that satisfy a set of
  48       linear congruence relations.  The library also supports finite
  49       powersets and products of (any kind of) polyhedra and grids and a mixed
  50       integer linear programming problem solver using an exact-arithmetic
  51       version of the simplex algorithm.
  52     '';
  53
  54     homepage = "http://bugseng.com/products/ppl/";
  55
  56     license = lib.licenses.gpl3Plus;
  57
  58     maintainers = [ ];
  59     platforms = lib.platforms.unix;
  60   };
  61 }