|
@@ -29,7 +29,8 @@ $(WRKBUILD)/.configured:
|
|
|
--build=$(GNU_HOST_NAME) \
|
|
|
--host=$(GNU_HOST_NAME) \
|
|
|
--target=$(GNU_TARGET_NAME) \
|
|
|
- --with-libgmp-prefix='${STAGING_HOST_DIR}/usr' \
|
|
|
+ --with-gmp='${STAGING_HOST_DIR}/usr' \
|
|
|
+ --with-mpfr='${STAGING_HOST_DIR}/usr' \
|
|
|
--disable-dependency-tracking \
|
|
|
--without-uiout \
|
|
|
--enable-gdbmi \
|