diff options
| author | Felix Fietkau <nbd@openwrt.org> | 2015-11-13 11:35:37 +0000 |
|---|---|---|
| committer | Felix Fietkau <nbd@openwrt.org> | 2015-11-13 11:35:37 +0000 |
| commit | 0b2c82f19f8b792fb4ff21d35fb9ca479cd50b71 (patch) | |
| tree | cc81f37db66693a2729bfb1e9efb6184b69833cc /tools/isl/Makefile | |
| parent | 6ba8cb4cf1f9ad46dcf0c7e34197432914817c9b (diff) | |
| download | master-187ad058-0b2c82f19f8b792fb4ff21d35fb9ca479cd50b71.tar.gz master-187ad058-0b2c82f19f8b792fb4ff21d35fb9ca479cd50b71.tar.bz2 master-187ad058-0b2c82f19f8b792fb4ff21d35fb9ca479cd50b71.zip | |
tools: add isl (used for graphite on GCC 5)
Signed-off-by: Felix Fietkau <nbd@openwrt.org>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@47464 3c298f89-4303-0410-b956-a3cf2f4a3e73
Diffstat (limited to 'tools/isl/Makefile')
| -rw-r--r-- | tools/isl/Makefile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tools/isl/Makefile b/tools/isl/Makefile new file mode 100644 index 0000000000..8fe2da1a06 --- /dev/null +++ b/tools/isl/Makefile @@ -0,0 +1,27 @@ +# +# Copyright (C) 2009-2013 OpenWrt.org +# +# This is free software, licensed under the GNU General Public License v2. +# See /LICENSE for more information. +# +include $(TOPDIR)/rules.mk + +PKG_NAME:=isl +PKG_VERSION:=0.14.1 + +PKG_SOURCE_URL:=http://isl.gforge.inria.fr +PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz +PKG_MD5SUM:=94fcd11e0b1c79250ae341affb1845ea + +HOST_BUILD_PARALLEL:=1 + +include $(INCLUDE_DIR)/host-build.mk + +unexport CFLAGS + +HOST_CONFIGURE_ARGS += \ + --enable-static \ + --disable-shared \ + --with-gmp-prefix=$(STAGING_DIR_HOST) + +$(eval $(call HostBuild)) |