Hi,
--- On Thu, Jan 17, 2013 at 5:53 PM, Richard Biener
<richard.guent...@gmail.com> wrote:
| It's ISL 0.11.1 actually. 0.18.0 is the current CLooG version.
\--
Thanks. I downloaded cloog-0.18.0, compiled and installed the same using:
$ cd cloog-0.18.0
$ mkdir build
$ cd build
$ ../configure
$ make
$ sudo make install
It installed in /usr/local. 'cloog' is present in /usr/local/bin, and
the following in /usr/local/lib:
libcloog-isl.a
libcloog-isl.la
libcloog-isl.so
libcloog-isl.so.4
libcloog-isl.so.4.0.0
libisl.a
libisl.la
libisl.so
libisl.so.10
libisl.so.10.1.1
libisl.so.10.1.1-gdb.py
pkgconfig
I checked out gcc trunk from svn, and used the following to compile:
$ cd trunk
$ mkdir build
$ cd build
$ ../configure --with-cloog=/usr/local --with-isl=/usr/local
configure fails with
checking for version 0.10 of ISL... no
checking for version 0.11 of ISL... no
The relevant output in config.log is:
=== config.log ===
configure:5838: checking for version 0.10 of ISL
configure:5857: gcc -o conftest -g -O2 -I/usr/local/include
-L/usr/local/lib conftest.c -lisl >&5
configure:5857: $? = 0
configure:5857: ./conftest
configure:5857: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <isl/version.h>
| #include <string.h>
| int
| main ()
| {
| if (strncmp (isl_version (), "isl-0.10", strlen ("isl-0.10")) != 0)
| return 1;
|
| ;
| return 0;
| }
configure:5866: result: no
configure:5887: checking for version 0.11 of ISL
configure:5906: gcc -o conftest -g -O2 -I/usr/local/include
-L/usr/local/lib conftest.c -lisl >&5
configure:5906: $? = 0
configure:5906: ./conftest
configure:5906: $? = 1
configure: program exited with status 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| #define LT_OBJDIR ".libs/"
| /* end confdefs.h. */
| #include <isl/version.h>
| #include <string.h>
| int
| main ()
| {
| if (strncmp (isl_version (), "isl-0.11", strlen ("isl-0.11")) != 0)
| return 1;
|
| ;
| return 0;
| }
configure:5915: result: no
configure:5950: error: Unable to find a usable ISL. See config.log for details.
=== END ===
What could I be missing? What is the recommended approach to build gcc with isl?
Appreciate any help in this regard,
Thanks!
SK
--
Shakthi Kannan
http://www.shakthimaan.com
