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

# help configure to find the native gmp we built in the toolchain directory
if atstage toolchain; then
        var_append extraconfopt ' ' "--with-gmp-include=$( pkgprefix -r includedir gmp )"
        var_append extraconfopt ' ' "--with-gmp-lib=$( pkgprefix -r libdir gmp )"

	# help to find the correct mpfr library and headers
	var_append extraconfopt ' ' "--with-mpfr-include=$( pkgprefix -r includedir mpfr )"
	var_append extraconfopt ' ' "--with-mpfr-lib=$( pkgprefix -r libdir mpfr )"

        var_append extraconfopt ' ' "--enable-shared=no"
fi