This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: handle isl and cloog in contrib/download_prerequisites


On 7 October 2012 22:38, Steven Bosscher <stevenb.gcc@gmail.com> wrote:
> On Sun, Oct 7, 2012 at 10:31 PM, Manuel López-Ibáñez
> <lopezibanez@gmail.com> wrote:
>> Since isl and cloog need to be
>> configured/build in a special way to work with gcc
>
> They do?? I built isl and cloog on a few compile farm machines without
> any special configure magic. What problems did you encounter?

http://gcc.gnu.org/install/prerequisites.html

CLooG 0.17.0
    Necessary to build GCC with the Graphite loop optimizations. It
can be downloaded from ftp://gcc.gnu.org/pub/gcc/infrastructure/ as
cloog-0.17.0.tar.gz. The --with-cloog configure option should be used
if CLooG is not installed in your default library search path. CLooG
needs to be built against ISL 0.10, not its included copy of ISL which
is too old. Use --with-isl=system to direct CLooG to pick up an
already installed ISL. CLooG needs to be configured to use GMP
internally, use --with-bits=gmp to direct it to do that.

The problem was in gcc10 and I tried to install cloog and isl in
/opt/cfarm. I don't recall exactly what failed and why but among the
problems:

* GCC was not able to find libisl.so after successfully passing the
configure checks, which was totally weird.

* GCC did not define HAVE_cloog before including isl.h so quite a few
things were missing.

* Either cloog or isl were finding the wrong version of gmp, and the
build failed saying that some gmp_ function was missing.

In any case, using the patched script worked like a charm, so I did
not investigate further.

Cheers,

Manuel.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]