diff options
author | Tony Theodore <tonyt@logyst.com> | 2013-10-19 07:12:53 (GMT) |
---|---|---|
committer | Tony Theodore <tonyt@logyst.com> | 2013-10-19 07:13:49 (GMT) |
commit | aadc5cea1ea92b9df0c2961a4d31c6561047bba6 (patch) | |
tree | 7af47ccb77d70933b372acaa12c17fe6d525e088 /src/isl.mk | |
parent | 2b82342590795068e41ff72ebbe4d53889475e82 (diff) | |
download | mxe-aadc5cea1ea92b9df0c2961a4d31c6561047bba6.zip mxe-aadc5cea1ea92b9df0c2961a4d31c6561047bba6.tar.gz mxe-aadc5cea1ea92b9df0c2961a4d31c6561047bba6.tar.bz2 |
add packages cloog isl and use for gcc optimisations
Diffstat (limited to 'src/isl.mk')
-rw-r--r-- | src/isl.mk | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/isl.mk b/src/isl.mk new file mode 100644 index 0000000..0d3a47f --- /dev/null +++ b/src/isl.mk @@ -0,0 +1,30 @@ +# This file is part of MXE. +# See index.html for further information. + +PKG := isl +$(PKG)_IGNORE := +$(PKG)_VERSION := 0.11.1 +$(PKG)_CHECKSUM := d7936929c3937e03f09b64c3c54e49422fa8ddb3 +$(PKG)_SUBDIR := $(PKG)-$($(PKG)_VERSION) +$(PKG)_FILE := $(PKG)-$($(PKG)_VERSION).tar.bz2 +$(PKG)_URL := ftp://gcc.gnu.org/pub/gcc/infrastructure/$($(PKG)_FILE) +$(PKG)_DEPS := gcc gmp + +# stick to tested versions from gcc +define $(PKG)_UPDATE + $(WGET) -q -O- 'ftp://gcc.gnu.org/pub/gcc/infrastructure/' | \ + $(SED) -n 's,.*isl-\([0-9][^>]*\)\.tar.*,\1,p' | \ + $(SORT) -V | + tail -1 +endef + +define $(PKG)_BUILD + cd '$(1)' && ./configure \ + --host='$(TARGET)' \ + --enable-static \ + --disable-shared \ + --prefix='$(PREFIX)/$(TARGET)' \ + --with-gmp-prefix='$(PREFIX)/$(TARGET)' + $(MAKE) -C '$(1)' -j '$(JOBS)' + $(MAKE) -C '$(1)' -j '$(JOBS)' install +endef |