diff options
| author | Nicolas Thill <nico@openwrt.org> | 2015-01-07 01:56:28 +0100 |
|---|---|---|
| committer | Nicolas Thill <nico@openwrt.org> | 2015-01-07 02:00:35 +0100 |
| commit | e52372940ebed7dbedb45401539fdb0f55732e80 (patch) | |
| tree | 6464bf305ad3db9436dd7b3800a0fcb8a5c3c491 /libs/classpath | |
| parent | f662eff2dd82719acf0d21dbfec53148b7eef951 (diff) | |
classpath: force use of target gmp lib
Signed-off-by: Nicolas Thill <nico@openwrt.org>
Diffstat (limited to 'libs/classpath')
| -rw-r--r-- | libs/classpath/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/classpath/Makefile b/libs/classpath/Makefile index 480b887d3..273678e1e 100644 --- a/libs/classpath/Makefile +++ b/libs/classpath/Makefile @@ -51,6 +51,7 @@ endef $(eval $(call Download,antlr)) CONFIGURE_ARGS += \ + --with-gmp="$(STAGING_DIR)/usr" \ --without-x \ --disable-gtk-peer \ --disable-qt-peer \ |