diff options
Diffstat (limited to 'packages/a/CLooG')
-rw-r--r-- | packages/a/CLooG/Makefile | 36 | ||||
-rw-r--r-- | packages/a/CLooG/cloog-description.txt | 71 | ||||
-rw-r--r-- | packages/a/CLooG/cloog.pdf | bin | 0 -> 320084 bytes |
3 files changed, 107 insertions, 0 deletions
diff --git a/packages/a/CLooG/Makefile b/packages/a/CLooG/Makefile new file mode 100644 index 0000000..269c99d --- /dev/null +++ b/packages/a/CLooG/Makefile @@ -0,0 +1,36 @@ +# +# Project Home: +# ============ +# https://bugseng.com/products/ppl/ +# +# Downloads: +# ========= +# ftp://ftp.cs.unipr.it/pub/ppl/releases/ +# + +url = http://www.bastoul.net/cloog/pages/download/ + +versions = 0.18.1 0.18.2 0.18.4 + +tarballs = $(addsuffix .tar.gz, $(addprefix cloog-, $(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.gz.sha1sum : %.tar.gz + @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/a/CLooG/cloog-description.txt b/packages/a/CLooG/cloog-description.txt new file mode 100644 index 0000000..2fe9f74 --- /dev/null +++ b/packages/a/CLooG/cloog-description.txt @@ -0,0 +1,71 @@ + +http://www.bastoul.net/cloog/index.php +====================================== + +CLooG is a free software and library to generate code for scanning Z-polyhedra. +That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral point +of one or more parameterized polyhedra. CLooG has been originally written to solve +the code generation problem for optimizing compilers based on the polytope model. +Nevertheless it is used now in various area e.g. to build control automata for +high-level synthesis or to find the best polynomial approximation of a function. +CLooG may help in any situation where scanning polyhedra matters. While the user +has full control on generated code quality, CLooG is designed to avoid control +overhead and to produce a very effective code. + + +http://www.cloog.org/ +==================== + +CLooG 0.18.1: official and recommended isl-based version (updated: October 11th, 2013). + +CLooG comes with an embedded version of isl so you should not need to install any polyhedral +library if you don't have one. In any other case please check the documentation page +[http://www.bastoul.net/cloog/documentation.php]. + +The current version is a major step since 0.14.x, including a much better API. The "old way" +to interface with CLooG should still work, however we plan to remove it for the next major +version, so please update... The new version is still under evaluation, and there is no +guarantee that the upward compatibility will be respected. A lot of reports are needed to +freeze the library API and the input file shape. So you are very welcome and encouraged to +send reports on bugs, wishes, critics, comments, suggestions or successful experiences to +the according mailing list, see the documentation page. + +Requirement +=========== + + GMP 5.0.2 (or any later version). + + The embedded version of isl used by CLooG needs the GNU Multiple Precision Arithmetic Library. + It should be installed in your system before trying to install CLooG. At the moment, isl offers + only multiple precision (no 32 bits nor 64 bits: if you need such a version you should consider + either CLooG-polylib or CLooG-parma, please check the documentation for those versions). + Once GMP is downloaded and unpacked (e.g., using the "tar -jxvf gmp-4.3.2.tar.bz2" command), + you can compile it by typing the following commands on GMP's root directory: + + ./configure --prefix=/usr + make + And as root: make install + + If you install GMP this way, it should be OK. If you are doing another way and you are experiencing + problems, please have a look at the documentation on installation. If nothing works for you, ask us + using the according mailing list (see documentation page). + +Development Version +=================== + + http://repo.or.cz/w/cloog.git (Official repository of CLooG). + + To benefit from the latest improvements and bug fixes you can try the development version of + CLooG: A major improvement is the support of multiple backends, not only PolyLib. + CLooG is now supporting PPL and the isl (Integer Set Library) is the default backend. + Because isl does not rely on rationals, CLooG is able to generate significantly better codes, + with low control overhead. To compile the development version of CLooG with the isl backend: + + git clone git://repo.or.cz/cloog.git + cd cloog + ./get_submodules.sh + ./autogen.sh + ./configure --with-gmp-prefix=/path/to/gmp/installation + make + And as root: make install + diff --git a/packages/a/CLooG/cloog.pdf b/packages/a/CLooG/cloog.pdf Binary files differnew file mode 100644 index 0000000..53fcfe3 --- /dev/null +++ b/packages/a/CLooG/cloog.pdf |