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.gz
14 PKG_HASH
:=7a1a3f04d57c7c72fee5a6148cd3b02b05db6a6dd9a58def7bdc00972a6301c3
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
))