On Fri, Jan 18, 2013 at 8:28 AM, Shakthi Kannan <shakthim...@gmail.com> wrote:
> 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?
Wild guess is that you miss /usr/local/lib{,64} in your LD_LIBRARY_PATH
so the built configure test cannot be executed because the dynamic linker
does not find ISL.
Richard.
> Appreciate any help in this regard,
>
> Thanks!
>
> SK
>
> --
> Shakthi Kannan
> http://www.shakthimaan.com
