|
|
@ -12,8 +12,8 @@ |
|
|
|
# GNU General Public License can be found in the file COPYING. |
|
|
|
# GNU General Public License can be found in the file COPYING. |
|
|
|
# --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
# --- SDE-COPYRIGHT-NOTE-END --- |
|
|
|
|
|
|
|
|
|
|
|
# help configure to find the native gmp we built in the toolchain directory |
|
|
|
|
|
|
|
if atstage toolchain; then |
|
|
|
if atstage toolchain; then |
|
|
|
|
|
|
|
# help to find the correct gmp libraries and headers |
|
|
|
var_append extraconfopt ' ' "--with-gmp-include=$( pkgprefix -r includedir gmp )" |
|
|
|
var_append extraconfopt ' ' "--with-gmp-include=$( pkgprefix -r includedir gmp )" |
|
|
|
var_append extraconfopt ' ' "--with-gmp-lib=$( pkgprefix -r libdir gmp )" |
|
|
|
var_append extraconfopt ' ' "--with-gmp-lib=$( pkgprefix -r libdir gmp )" |
|
|
|
|
|
|
|
|
|
|
|