diff options
author | Shea Levy <shea@shealevy.com> | 2015-05-06 08:32:03 -0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2015-05-06 08:32:12 -0400 |
commit | 3aff74a7a266be14ec7d0ee242601fd037eefe9c (patch) | |
tree | 6022e8f1a3d3f36d61ccd5ae7eb69041041f2824 /pkgs/development/libraries/cloog/0.18.0.nix | |
parent | 09af6d457215c3dcff7144a8917f17d82e3c8674 (diff) |
Resurrect old cloog and isl for gcc-4.9
Fixes #7723 Refs 8af39c1cf725be2f42b8d104cf39f2cd74840cac Refs 5cd11989c55e32df83cf5c4bc257bb6825b4e889
Diffstat (limited to 'pkgs/development/libraries/cloog/0.18.0.nix')
-rw-r--r-- | pkgs/development/libraries/cloog/0.18.0.nix | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/pkgs/development/libraries/cloog/0.18.0.nix b/pkgs/development/libraries/cloog/0.18.0.nix new file mode 100644 index 0000000000000..926da22b28022 --- /dev/null +++ b/pkgs/development/libraries/cloog/0.18.0.nix @@ -0,0 +1,65 @@ +{ fetchurl, stdenv, gmp, isl }: + +stdenv.mkDerivation rec { + name = "cloog-0.18.0"; + + src = fetchurl { + url = "http://www.bastoul.net/cloog/pages/download/count.php3?url=./${name}.tar.gz"; + sha256 = "1c4aa8dde7886be9cbe0f9069c334843b21028f61d344a2d685f88cb1dcf2228"; + }; + + buildInputs = [ gmp ]; + + propagatedBuildInputs = [ isl ]; + + configureFlags = [ "--with-isl=system" ]; + + enableParallelBuilding = true; + + doCheck = true; + + meta = { + description = "Library that generates loops for scanning polyhedra"; + + longDescription = '' + CLooG is a free software library to generate code for scanning + Z-polyhedra. That is, it finds a code (e.g., in C, FORTRAN...) that + reaches each integral point of one or more parameterized polyhedra. + CLooG has been originally written to solve the code generation problem + for optimizing compilers based on the polytope model. Nevertheless it + is used now in various area e.g., to build control automata for + high-level synthesis or to find the best polynomial approximation of a + function. CLooG may help in any situation where scanning polyhedra + matters. While the user has full control on generated code quality, + CLooG is designed to avoid control overhead and to produce a very + effective code. + ''; + + homepage = http://www.cloog.org/; + + license = stdenv.lib.licenses.gpl2Plus; + + maintainers = [ stdenv.lib.maintainers.shlevy ]; + + /* Leads to an ICE on Cygwin: + + make[3]: Entering directory `/tmp/nix-build-9q5gw5m37q5l4f0kjfv9ar8fsc9plk27-ppl-0.10.2.drv-1/ppl-0.10.2/src' + /bin/sh ../libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -c -o Box.lo Box.cc + libtool: compile: g++ -DHAVE_CONFIG_H -I. -I.. -I.. -I../src -g -O2 -frounding-math -W -Wall -c Box.cc -DDLL_EXPORT -DPIC -o .libs/Box.o + In file included from checked.defs.hh:595, + from Checked_Number.defs.hh:27, + from Coefficient.types.hh:15, + from Coefficient.defs.hh:26, + from Box.defs.hh:28, + from Box.cc:24: + checked.inlines.hh: In function `Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::input_generic(Type&, std::istream&, Parma_Polyhedra_Library::Rounding_Dir)': + checked.inlines.hh:607: internal compiler error: in invert_truthvalue, at fold-const.c:2719 + Please submit a full bug report, + with preprocessed source if appropriate. + See <URL:http://cygwin.com/problems.html> for instructions. + make[3]: *** [Box.lo] Error 1 + + */ + platforms = with stdenv.lib.platforms; allBut cygwin; + }; +} |