2015-02-03 21:58:32 +00:00
|
|
|
{ stdenv, fetch, cmake, isl, python, gmp, llvm, version }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "polly-${version}";
|
|
|
|
|
2015-08-17 10:02:17 +00:00
|
|
|
src = fetch "polly" "1s6v54czmgq626an4yk2k34lrzkwmz1bjrbiafh7j23yc2w4nalx";
|
2015-02-03 21:58:32 +00:00
|
|
|
|
|
|
|
patches = [ ./polly-separate-build.patch ];
|
|
|
|
|
|
|
|
buildInputs = [ cmake isl python gmp ];
|
|
|
|
|
|
|
|
cmakeFlags = [
|
|
|
|
"-DCMAKE_CXX_FLAGS=-std=c++11"
|
|
|
|
"-DLLVM_INSTALL_ROOT=${llvm}"
|
|
|
|
];
|
|
|
|
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "A polyhedral optimizer for llvm";
|
|
|
|
homepage = http://llvm.org/;
|
2017-02-11 22:13:29 +00:00
|
|
|
license = stdenv.lib.licenses.ncsa;
|
2015-02-03 21:58:32 +00:00
|
|
|
platforms = stdenv.lib.platforms.all;
|
|
|
|
};
|
|
|
|
}
|