Return to Makefile.in CVS log

Up to [local] / rpl / rplcas

Ajout de la constante infinity (dans le but d'utiliser cette constante
dans RPL/CAS).

    1: srcdir=@srcdir@
    2: top_builddir=@abs_top_builddir@
    3: CFLAGS=@CFLAGS@
    4: CXXFLAGS=@CXXFLAGS@
    5: LDFLAGS=@LDFLAGS@
    6: 
    7: .PHONY: configure clean
    8: 
    9: all: lib/librplcas.a
   10: 
   11: lib/libgmp.a:
   12:     if [ ! -d @GMP@ ]; then \
   13:         mkdir @GMP@; \
   14:     fi
   15:     if [ ! -f @GMP@/config.log ]; then \
   16:         (cd @GMP@ && \
   17:                 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
   18:                 ../$(srcdir)/@GMP@/configure --with-readline=no \
   19:                 --disable-shared --enable-static \
   20:                 --prefix=$(top_builddir)/rplcas); \
   21:     fi
   22:     make -C @GMP@ $(AM_MAKEFLAGS) all && make -C $(AM_MAKEFLAGS) @GMP@ install
   23: 
   24: lib/libmpfr.a: lib/libgmp.a
   25:     if [ ! -d @MPFR@ ]; then \
   26:         mkdir @MPFR@ ; \
   27:     fi
   28:     if [ ! -f @MPFR@/config.log ]; then \
   29:         (cd @MPFR@ && \
   30:                 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
   31:                 ../$(srcdir)/@MPFR@/configure \
   32:                 --with-gmp=$(top_builddir)/rplcas \
   33:                 --disable-shared --enable-static \
   34:                 --prefix=$(top_builddir)/rplcas); \
   35:     fi
   36:     make -C @MPFR@ $(AM_MAKEFLAGS) all && make -C @MPFR@ $(AM_MAKEFLAGS) install
   37: 
   38: lib/ntl.a:
   39:     CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" make -C @NTL@/src $(AM_MAKEFLAGS)
   40:     cp @NTL@/src/ntl.a lib/ntl.a
   41:     cp @NTL@/src/ntl.a lib/ntl.a
   42:     cp -R @NTL@/include/NTL include
   43: 
   44: lib/libcocoa.a: lib/libgmp.a
   45:     if [ ! -f @COCOA@/configuration/autoconf.mk ]; then \
   46:         (cd @COCOA@ && CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
   47:                 ./configure --with-libgmp=../lib/libgmp.a \
   48:                 --with-libgsl=../../tools/@GSL@/.libs/libgsl.a); \
   49:     fi
   50:     make -C @COCOA@ $(AM_MAKEFLAGS) library
   51:     cp @COCOA@/lib/libcocoa.a lib/libcocoa.a
   52:     cp -R @COCOA@/include/CoCoA include
   53: 
   54: lib/libpari.a: lib/libgmp.a
   55:     if [ ! -f @PARI@/configured ]; then \
   56:         (cd @PARI@ && ./Configure --prefix=$(top_builddir)/rplcas \
   57:                 --with-gmp=../lib/libgmp.a \
   58:                 --without-readline --graphic=none -s); \
   59:         touch @PARI@/configured; \
   60:     fi
   61:     CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
   62:             make -C @PARI@ $(AM_MAKEFLAGS) gp && \
   63:             make -C @PARI@ $(AM_MAKEFLAGS) install
   64: 
   65: lib/libgiac.a: lib/libgmp.a lib/libmpfr.a lib/ntl.a \
   66:         lib/libcocoa.a lib/libpari.a
   67:     if [ ! -d @GIAC@ ]; then \
   68:         mkdir @GIAC@ ; \
   69:     fi
   70:     if [ ! -f @GIAC@/config.log ]; then \
   71:         (cd @GIAC@ && \
   72:                 CPPFLAGS="-I$(top_builddir)/rplcas/lib/include $(CPPFLAGS)" \
   73:                 LDFLAGS="-L$(top_builddir)/rplcas/lib $(LDFLAGS)" \
   74:                 ../$(srcdir)/@GIAC@/configure --prefix=$(top_builddir)/rplcas \
   75:                 --enable-pari=$(top_builddir)/rplcas \
   76:                 --enable-ntl=$(top_builddir)/rplcas \
   77:                 --enable-cocoa=$(top_builddir)/rplcas \
   78:                 --enable-gsl=../../tools/@GSL@/.libs/libgsl.a \
   79:                 --disable-shared --enable-static \
   80:                 --disable-gui --without-x && \
   81:                 sed 's/SUBDIRS = src check intl po debianold debian doc examples/SUBDIRS = src check intl po debianold debian/g' Makefile \
   82:                 > Makefile2); \
   83:         (cd @GIAC@/src && \
   84:                 mv -f config.h config.h.orig && \
   85:                 sed -e 's/#define HAVE_LIBPNG 1//' config.h.orig | \
   86:                 sed -e 's/#define HAVE_PNG_H 1//' > config.h && \
   87:                 \rm -f config.h.orig); \
   88:     fi
   89:     make -C @GIAC@ $(AM_MAKEFLAGS) -f Makefile2
   90:     for i in mkinstalldirs xcas.xpm xcas.desktop xcas.applications; \
   91:     do cp $(srcdir)/@GIAC@/$$i @GIAC@/$$i; done
   92:     make -C @GIAC@ $(AM_MAKEFLAGS) install -f Makefile2
   93: 
   94: lib/librplcas.a: lib/libgiac.a lib/libgmp.a lib/libmpfr.a
   95:     if [ ! -d tmp ]; then mkdir tmp; fi
   96:     (cd tmp && \
   97:             \rm -f * && \
   98:             ar x ../lib/libgmp.a && \
   99:             for i in `ar t ../lib/libgmp.a`; \
  100:             do mv $$i libgmp_$$i; done && \
  101:             ar x ../lib/libmpfr.a && \
  102:             for i in `ar t ../lib/libmpfr.a`; \
  103:             do mv $$i libmpfr_$$i; done && \
  104:             ar x ../lib/libgiac.a && \
  105:             for i in `ar t ../lib/libgiac.a`; \
  106:             do mv $$i libgiac_$$i; done && \
  107:             ar cru ../lib/librplcas.a lib* && \
  108:             ranlib ../lib/librplcas.a && strip -d ../lib/librplcas.a && \
  109:             \rm -rf tmp)
  110: 
  111: install:
  112: 
  113: clean:
  114:     \rm -f $(top_builddir)/rplcas/lib/lib*
  115: 
  116: distdir: