[PPL-devel] Including ppl in a gcc build...

[Roberto Bagnara]

Tovrea, George W (US SSA) wrote:
> Does ppl (and cloog) build automatically if you use 
> 
> --with-ppl=<dir>
> --with-cloog=<dir>
> 
> options in the gcc configure command? I know gmp and mpfr build
> automatically if you unzip them in the gcc source directory (or provide
> soft links to their location).

Hi Bill,

even though this is a question for the GCC people, I have checked GCC's
configuration machinery, and it seems that the PPL and CLooG are indeed
treated like GMP and MPFR.  For instance, in GCC's root directory
Makefile.in you can find:

@if ppl
maybe-configure-ppl: configure-ppl
configure-ppl:
         @r=`${PWD_COMMAND}`; export r; \
         s=`cd $(srcdir); ${PWD_COMMAND}`; export s; \
         test ! -f $(HOST_SUBDIR)/ppl/Makefile || exit 0; \
         $(SHELL) $(srcdir)/mkinstalldirs $(HOST_SUBDIR)/ppl ; \
         $(HOST_EXPORTS) \
         echo Configuring in $(HOST_SUBDIR)/ppl; \
         cd "$(HOST_SUBDIR)/ppl" || exit 1; \
         case $(srcdir) in \
           /* | [A-Za-z]:[\\/]*) topdir=$(srcdir) ;; \
           *) topdir=`echo $(HOST_SUBDIR)/ppl/ | \
                 sed -e 's,\./,,g' -e 's,[^/]*/,../,g' `$(srcdir) ;; \
         esac; \
         srcdiroption="--srcdir=$${topdir}/ppl"; \
         libsrcdir="$$s/ppl"; \
         $(SHELL) $${libsrcdir}/configure \
           $(HOST_CONFIGARGS) --build=${build_alias} --host=none-${host_vendor}-${host_os} \
           --target=none-${host_vendor}-${host_os} $${srcdiroption} --disable-shared --with-libgmp-prefix=$$r/$(HOST_SUBDIR)/gmp/ --with-libgmpxx-prefix=$$r/$(HOST_SUBDIR)/gmp/ \
           || exit 1
@endif ppl

I hope this helps.
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it