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
:=a0b5cb06d24f9fa9e77b55fabbe9a3c94a336190345c2555f9915bb38e976504
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
))