mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-10-21 11:43:11 -04:00
ff1a94e523
The nixpkgs-unstable channel's programs.sqlite was used to identify packages producing exactly one binary, and these automatically added to their package definitions wherever possible.
68 lines
2.8 KiB
Nix
68 lines
2.8 KiB
Nix
{ fetchurl, lib, stdenv, gmp, isl }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "cloog";
|
|
version = "0.18.4";
|
|
|
|
src = fetchurl {
|
|
url = "http://www.bastoul.net/cloog/pages/download/count.php3?url=./${pname}-${version}.tar.gz";
|
|
sha256 = "03km1aqaiy3sbqc2f046ms9x0mlmacxlvs5rxsvjj8nf20vxynij";
|
|
};
|
|
|
|
buildInputs = [ gmp ];
|
|
|
|
propagatedBuildInputs = [ isl ];
|
|
|
|
configureFlags = [ "--with-isl=system" ];
|
|
|
|
enableParallelBuilding = true;
|
|
# Breaks the test cases as it reuses 'cloog_temp' file name for different tests.
|
|
enableParallelChecking = false;
|
|
|
|
doCheck = true;
|
|
|
|
meta = {
|
|
description = "Library that generates loops for scanning polyhedra";
|
|
mainProgram = "cloog";
|
|
|
|
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 = lib.licenses.gpl2Plus;
|
|
|
|
/* 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 = lib.platforms.unix; # Once had cygwin problems
|
|
};
|
|
}
|