author: kx <kx@radix.pro> 2023-04-09 03:24:10 +0300
committer: kx <kx@radix.pro> 2023-04-09 03:24:10 +0300
commit: 3dd1914515dc5c714451bc4148f0abb51672ed06
parent: c0eee091446a07e56576b7d855dd09f0da9968c8
Commit Summary:
Diffstat:
2 files changed, 40 insertions, 0 deletions
diff --git a/packages/l/isl/Makefile b/packages/l/isl/Makefile
new file mode 100644
index 0000000..0c650ec
--- /dev/null
+++ b/packages/l/isl/Makefile
@@ -0,0 +1,38 @@
+#
+# Project Home:
+# ============
+# http://freecode.com/projects/isl
+# http://isl.gforge.inria.fr/
+#
+# Downloads:
+# =========
+# http://isl.gforge.inria.fr/
+# https://libisl.sourceforge.io/
+#
+
+url = https://libisl.sourceforge.io
+
+versions = 0.15 0.16 0.16.1 0.17 0.17.1 0.18 0.19 0.20 0.22 0.22.1 0.23 0.24 0.25
+
+tarballs = $(addsuffix .tar.xz, $(addprefix isl-, $(versions)))
+sha1s = $(addsuffix .sha1sum, $(tarballs))
+
+
+all: $(tarballs) $(sha1s)
+
+.PHONY: downloads_clean
+
+$(tarballs):
+ @echo -e "\n======= Downloading source tarballs =======\n"
+ @for tarball in $(tarballs) ; do \
+ wget -N $(url)/$$tarball ; \
+ done
+
+$(sha1s): %.tar.xz.sha1sum : %.tar.xz
+ @for tarball in $< ; do \
+ echo -e "\n======= Calculation the '$$tarball' sha1sum =======\n" ; \
+ sha1sum --binary $$tarball > $$tarball.sha1sum ; \
+ done
+
+downloads_clean:
+ @rm -rf $(tarballs) $(sha1s)
diff --git a/packages/l/isl/isl-description.txt b/packages/l/isl/isl-description.txt
new file mode 100644
index 0000000..00be865
--- /dev/null
+++ b/packages/l/isl/isl-description.txt
@@ -0,0 +1,15 @@
+
+http://freecode.com/projects/isl
+================================
+
+isl is a library for manipulating sets and relations of integer points bounded by linear constraints.
+Supported operations on sets include intersection, union, set difference, emptiness check, convex hull,
+(integer) affine hull, integer projection, and computing the lexicographic minimum using parametric
+integer programming. It also includes an ILP solver based on generalized basis reduction and operations
+geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation.
+
+Download
+========
+
+ http://isl.gforge.inria.fr/
+ https://libisl.sourceforge.io/
diff --git a/packages/l/isl/manual.pdf b/packages/l/isl/manual.pdf
new file mode 100644
index 0000000..9ff0d51
Binary files /dev/null and b/packages/l/isl/manual.pdf differ
diff --git a/packages/l/isl/tutorial.pdf b/packages/l/isl/tutorial.pdf
new file mode 100644
index 0000000..149d25d
Binary files /dev/null and b/packages/l/isl/tutorial.pdf differ