Radix cross Linux 3pp sources

19dc4c5d (kx 2023-04-11 06:54:40 +0300  1) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300  2) http://www.bastoul.net/cloog/index.php
19dc4c5d (kx 2023-04-11 06:54:40 +0300  3) ======================================
19dc4c5d (kx 2023-04-11 06:54:40 +0300  4) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300  5) CLooG is a free software and library to generate code for scanning Z-polyhedra.
19dc4c5d (kx 2023-04-11 06:54:40 +0300  6) That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral point
19dc4c5d (kx 2023-04-11 06:54:40 +0300  7) of one or more parameterized polyhedra. CLooG has been originally written to solve
19dc4c5d (kx 2023-04-11 06:54:40 +0300  8) the code generation problem for optimizing compilers based on the polytope model.
19dc4c5d (kx 2023-04-11 06:54:40 +0300  9) Nevertheless it is used now in various area e.g. to build control automata for
19dc4c5d (kx 2023-04-11 06:54:40 +0300 10) high-level synthesis or to find the best polynomial approximation of a function.
19dc4c5d (kx 2023-04-11 06:54:40 +0300 11) CLooG may help in any situation where scanning polyhedra matters. While the user
19dc4c5d (kx 2023-04-11 06:54:40 +0300 12) has full control on generated code quality, CLooG is designed to avoid control
19dc4c5d (kx 2023-04-11 06:54:40 +0300 13) overhead and to produce a very effective code.
19dc4c5d (kx 2023-04-11 06:54:40 +0300 14) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 15) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 16) http://www.cloog.org/
19dc4c5d (kx 2023-04-11 06:54:40 +0300 17) ====================
19dc4c5d (kx 2023-04-11 06:54:40 +0300 18) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 19) CLooG 0.18.1: official and recommended isl-based version (updated: October 11th, 2013).
19dc4c5d (kx 2023-04-11 06:54:40 +0300 20) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 21) CLooG comes with an embedded version of isl so you should not need to install any polyhedral
19dc4c5d (kx 2023-04-11 06:54:40 +0300 22) library if you don't have one. In any other case please check the documentation page
19dc4c5d (kx 2023-04-11 06:54:40 +0300 23) [http://www.bastoul.net/cloog/documentation.php].
19dc4c5d (kx 2023-04-11 06:54:40 +0300 24) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 25) The current version is a major step since 0.14.x, including a much better API. The "old way"
19dc4c5d (kx 2023-04-11 06:54:40 +0300 26) to interface with CLooG should still work, however we plan to remove it for the next major
19dc4c5d (kx 2023-04-11 06:54:40 +0300 27) version, so please update... The new version is still under evaluation, and there is no
19dc4c5d (kx 2023-04-11 06:54:40 +0300 28) guarantee that the upward compatibility will be respected. A lot of reports are needed to
19dc4c5d (kx 2023-04-11 06:54:40 +0300 29) freeze the library API and the input file shape. So you are very welcome and encouraged to
19dc4c5d (kx 2023-04-11 06:54:40 +0300 30) send reports on bugs, wishes, critics, comments, suggestions or successful experiences to
19dc4c5d (kx 2023-04-11 06:54:40 +0300 31) the according mailing list, see the documentation page.
19dc4c5d (kx 2023-04-11 06:54:40 +0300 32) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 33) Requirement
19dc4c5d (kx 2023-04-11 06:54:40 +0300 34) ===========
19dc4c5d (kx 2023-04-11 06:54:40 +0300 35) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 36)     GMP 5.0.2 (or any later version).
19dc4c5d (kx 2023-04-11 06:54:40 +0300 37) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 38)   The embedded version of isl used by CLooG needs the GNU Multiple Precision Arithmetic Library.
19dc4c5d (kx 2023-04-11 06:54:40 +0300 39)   It should be installed in your system before trying to install CLooG. At the moment, isl offers
19dc4c5d (kx 2023-04-11 06:54:40 +0300 40)   only multiple precision (no 32 bits nor 64 bits: if you need such a version you should consider
19dc4c5d (kx 2023-04-11 06:54:40 +0300 41)   either CLooG-polylib or CLooG-parma, please check the documentation for those versions).
19dc4c5d (kx 2023-04-11 06:54:40 +0300 42)   Once GMP is downloaded and unpacked (e.g., using the "tar -jxvf gmp-4.3.2.tar.bz2" command),
19dc4c5d (kx 2023-04-11 06:54:40 +0300 43)   you can compile it by typing the following commands on GMP's root directory:
19dc4c5d (kx 2023-04-11 06:54:40 +0300 44) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 45)     ./configure --prefix=/usr
19dc4c5d (kx 2023-04-11 06:54:40 +0300 46)     make
19dc4c5d (kx 2023-04-11 06:54:40 +0300 47)     And as root: make install
19dc4c5d (kx 2023-04-11 06:54:40 +0300 48) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 49)   If you install GMP this way, it should be OK. If you are doing another way and you are experiencing
19dc4c5d (kx 2023-04-11 06:54:40 +0300 50)   problems, please have a look at the documentation on installation. If nothing works for you, ask us
19dc4c5d (kx 2023-04-11 06:54:40 +0300 51)   using the according mailing list (see documentation page).
19dc4c5d (kx 2023-04-11 06:54:40 +0300 52) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 53) Development Version
19dc4c5d (kx 2023-04-11 06:54:40 +0300 54) ===================
19dc4c5d (kx 2023-04-11 06:54:40 +0300 55) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 56)     http://repo.or.cz/w/cloog.git (Official repository of CLooG). 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 57) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 58)   To benefit from the latest improvements and bug fixes you can try the development version of
19dc4c5d (kx 2023-04-11 06:54:40 +0300 59)   CLooG: A major improvement is the support of multiple backends, not only PolyLib.
19dc4c5d (kx 2023-04-11 06:54:40 +0300 60)   CLooG is now supporting PPL and the isl (Integer Set Library) is the default backend.
19dc4c5d (kx 2023-04-11 06:54:40 +0300 61)   Because isl does not rely on rationals, CLooG is able to generate significantly better codes,
19dc4c5d (kx 2023-04-11 06:54:40 +0300 62)   with low control overhead. To compile the development version of CLooG with the isl backend:
19dc4c5d (kx 2023-04-11 06:54:40 +0300 63) 
19dc4c5d (kx 2023-04-11 06:54:40 +0300 64)     git clone git://repo.or.cz/cloog.git
19dc4c5d (kx 2023-04-11 06:54:40 +0300 65)     cd cloog
19dc4c5d (kx 2023-04-11 06:54:40 +0300 66)     ./get_submodules.sh
19dc4c5d (kx 2023-04-11 06:54:40 +0300 67)     ./autogen.sh
19dc4c5d (kx 2023-04-11 06:54:40 +0300 68)     ./configure --with-gmp-prefix=/path/to/gmp/installation
19dc4c5d (kx 2023-04-11 06:54:40 +0300 69)     make
19dc4c5d (kx 2023-04-11 06:54:40 +0300 70)     And as root: make install
19dc4c5d (kx 2023-04-11 06:54:40 +0300 71)