# --- SDE-COPYRIGHT-NOTE-BEGIN ---
# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
#
# Filename: package/.../cloog/cloog.conf
# Copyright (C) 2009 - 2012 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 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"