# --- SDE-COPYRIGHT-NOTE-BEGIN ---
# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
#
# Filename: package/.../cloog/cloog.conf
# Copyright (C) 2009 - 2016 The OpenSDE Project
#
# More information can be found in the files COPYING and README.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; version 2 of the License. A copy of the
# GNU General Public License can be found in the file COPYING.
# --- SDE-COPYRIGHT-NOTE-END ---

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  --with-isl=system'

[[ $libdir = *lib64 ]] &&
	hook_add preconf 3 'sed -e "s,ppl_prefix/lib,ppl_prefix/lib64,g" -i configure'

hook_add preconf 9 'autoreconf -vfi'