|
|
@ -2,7 +2,7 @@ |
|
|
|
# This copyright note is auto-generated by ./scripts/Create-CopyPatch. |
|
|
|
# |
|
|
|
# Filename: package/.../cloog/cloog.conf |
|
|
|
# Copyright (C) 2009 - 2012 The OpenSDE Project |
|
|
|
# Copyright (C) 2009 - 2016 The OpenSDE Project |
|
|
|
# |
|
|
|
# More information can be found in the files COPYING and README. |
|
|
|
# |
|
|
@ -12,15 +12,29 @@ |
|
|
|
# GNU General Public License can be found in the file COPYING. |
|
|
|
# --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
|
|
|
|
if pkginstalled -f isl; then |
|
|
|
var_append extraconfopt ' ' "--with-isl=system" |
|
|
|
var_append extraconfopt ' ' "--with-isl-prefix=$( pkgprefix -r isl )" |
|
|
|
fi |
|
|
|
#if pkginstalled -f isl; then |
|
|
|
# var_append extraconfopt ' ' "--with-isl=system" |
|
|
|
# var_append extraconfopt ' ' "--with-isl-prefix=$( pkgprefix -r isl )" |
|
|
|
#fi |
|
|
|
# |
|
|
|
#if pkginstalled -f gmp; then |
|
|
|
# var_append extraconfopt ' ' "--with-gmp=system" |
|
|
|
# var_append extraconfopt ' ' "--with-gmp-prefix=$( pkgprefix -r gmp )" |
|
|
|
# var_append extraconfopt ' ' '--with-bits=gmp' |
|
|
|
#fi |
|
|
|
|
|
|
|
#var_append confopt ' ' "--enable-shared" |
|
|
|
|
|
|
|
if pkginstalled -f gmp; then |
|
|
|
var_append extraconfopt ' ' "--with-gmp=system" |
|
|
|
var_append extraconfopt ' ' "--with-gmp-prefix=$( pkgprefix -r gmp )" |
|
|
|
var_append extraconfopt ' ' '--with-bits=gmp' |
|
|
|
if atstage toolchain; then |
|
|
|
var_append extraconfopt ' ' '--with-ppl=$root --with-ppl-library=$root$libdir' |
|
|
|
var_append extraconfopt ' ' '--with-gmp-prefix=$root' |
|
|
|
var_append extraconfopt ' ' '--with-isl-prefix=$root' |
|
|
|
else |
|
|
|
var_append extraconfopt ' ' '--with-ppl' |
|
|
|
fi |
|
|
|
|
|
|
|
var_append confopt ' ' "--enable-shared" |
|
|
|
var_append confopt ' ' '--enable-shared --with-isl=system' |
|
|
|
|
|
|
|
[[ $libdir = *lib64 ]] && |
|
|
|
hook_add preconf 3 'sed -e "s,ppl_prefix/lib,ppl_prefix/lib64,g" -i configure' |
|
|
|
|