2011-12-14 14:31:56 +00:00
|
|
|
{ fetchurl, stdenv, gmp, isl }:
|
2011-03-31 21:25:08 +00:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2016-05-15 11:13:57 +00:00
|
|
|
name = "cloog-0.18.4";
|
2011-03-31 21:25:08 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "http://www.bastoul.net/cloog/pages/download/count.php3?url=./${name}.tar.gz";
|
2016-05-15 11:13:57 +00:00
|
|
|
sha256 = "03km1aqaiy3sbqc2f046ms9x0mlmacxlvs5rxsvjj8nf20vxynij";
|
2011-03-31 21:25:08 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ gmp ];
|
|
|
|
|
|
|
|
propagatedBuildInputs = [ isl ];
|
|
|
|
|
2011-12-14 14:31:56 +00:00
|
|
|
configureFlags = [ "--with-isl=system" ];
|
2011-03-31 21:25:08 +00:00
|
|
|
|
2015-03-26 06:29:14 +00:00
|
|
|
# Breaks the test cases
|
|
|
|
#enableParallelBuilding = true;
|
2014-08-28 16:33:51 +00:00
|
|
|
|
2011-03-31 21:25:08 +00:00
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
meta = {
|
2014-08-24 14:21:08 +00:00
|
|
|
description = "Library that generates loops for scanning polyhedra";
|
2011-03-31 21:25:08 +00:00
|
|
|
|
|
|
|
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/;
|
|
|
|
|
2014-06-19 04:19:00 +00:00
|
|
|
license = stdenv.lib.licenses.gpl2Plus;
|
2011-03-31 21:25:08 +00:00
|
|
|
|
|
|
|
/* 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
|
|
|
|
|
|
|
|
*/
|
2014-08-09 10:28:16 +00:00
|
|
|
platforms = with stdenv.lib.platforms; allBut cygwin;
|
2011-03-31 21:25:08 +00:00
|
|
|
};
|
|
|
|
}
|