islpy-image/Makefile at main · Accelergy-Project/islpy-image · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
BARVINOK_VER = 0.41.8
NTL_VER = 11.6.0
NPROCS = 6

MAKEFILE_PATH := $(abspath $(lastword $(MAKEFILE_LIST)))
TOP_DIR := $(realpath $(dir $(MAKEFILE_PATH)))

dependencies/islpy: build/lib/libbarvinok.so
	wget -O dependencies/islpy.tar.gz https://github.com/inducer/islpy/archive/refs/tags/v2025.2.5.tar.gz
	tar -C dependencies -xf dependencies/islpy.tar.gz
	mv  dependencies/islpy-2025.2.5 dependencies/islpy

install_islpy:
	cd dependencies/islpy && \
	python3 -m pip install . \
		--config-settings=cmake.define.USE_SHIPPED_ISL=OFF \
		--config-settings=cmake.define.USE_SHIPPED_IMATH=OFF \
		--config-settings=cmake.define.USE_BARVINOK=ON \
		--config-settings=cmake.define.ISL_INC_DIRS:LIST="$(TOP_DIR)/build/include" \
		--config-settings=cmake.define.ISL_LIB_DIRS:LIST="$(TOP_DIR)/build/lib"

dependencies/ntl.tar.gz:
	wget -O dependencies/ntl.tar.gz http://shoup.net/ntl/ntl-$(NTL_VER).tar.gz

dependencies/ntl: dependencies/ntl.tar.gz
	tar -C dependencies -xf dependencies/ntl.tar.gz
	mv dependencies/ntl-$(NTL_VER) dependencies/ntl

build/lib/libntl.so: dependencies/ntl
	cd dependencies/ntl/src && echo "Entering dependencies/ntl/" && \
	./configure NTL_GMP_LIP=on SHARED=on PREFIX=$(TOP_DIR)/build && \
	make -j$(NPROCS)                                             && \
	make install

dependencies/barvinok.tar.gz:
	wget -O dependencies/barvinok.tar.gz https://barvinok.sourceforge.io/barvinok-$(BARVINOK_VER).tar.xz

dependencies/barvinok: dependencies/barvinok.tar.gz
	tar -C dependencies -xf dependencies/barvinok.tar.gz
	mv dependencies/barvinok-$(BARVINOK_VER) dependencies/barvinok

build/lib/libbarvinok.so: dependencies/barvinok build/lib/libntl.so
	cd dependencies/barvinok && \
	./configure --prefix=$(TOP_DIR)/build --enable-shared-barvinok --with-ntl-prefix=$(TOP_DIR)/build && \
	make -j$(NPROCS) && \
	make install