2 # Copyright (C) 2009-2013 OpenWrt.org
4 # This is free software, licensed under the GNU General Public License v2.
5 # See /LICENSE for more information.
7 include $(TOPDIR
)/rules.mk
12 PKG_SOURCE_URL
:=https
://libisl.sourceforge.io
/
13 PKG_SOURCE
:=$(PKG_NAME
)-$(PKG_VERSION
).
tar.xz
14 PKG_HASH
:=be7b210647ccadf90a2f0b000fca11a4d40546374a850db67adb32fad4b230d9
16 HOST_BUILD_PARALLEL
:=1
18 include $(INCLUDE_DIR
)/host-build.mk
22 HOST_CONFIGURE_ARGS
+= \
25 --with-gmp-prefix
=$(STAGING_DIR_HOST
)
28 -$(call Host
/Compile
/Default
,uninstall)
31 $(eval
$(call HostBuild
))