Diff for /rpl/rplcas/Makefile.in between versions 1.67 and 1.68

version 1.67, 2022/08/25 09:01:36 version 1.68, 2024/10/29 16:41:02
Line 56  lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@ Line 56  lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
     if [ ! -f @MPFI@/config.log ]; then \      if [ ! -f @MPFI@/config.log ]; then \
         if [ @BUILD@ = @HOST@ ]; then \          if [ @BUILD@ = @HOST@ ]; then \
             (cd @MPFI@ && \              (cd @MPFI@ && \
                     CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \                      CC=gcc-13 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
                     ../$(srcdir)/@MPFI@/configure \                      ../$(srcdir)/@MPFI@/configure \
                     --with-gmp=$(top_builddir)/rplcas \                      --with-gmp=$(top_builddir)/rplcas \
                     --with-mpfr=$(top_builddir)/rplcas \                      --with-mpfr=$(top_builddir)/rplcas \
Line 64  lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@ Line 64  lib/@LIB_PREFIX@mpfi.a: lib/@LIB_PREFIX@
                     --prefix=$(top_builddir)/rplcas); \                      --prefix=$(top_builddir)/rplcas); \
         else \          else \
             (cd @MPFI@ && \              (cd @MPFI@ && \
                     CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \                      CC=gcc-13 CFLAGS="$(CFLAGS)" CXXFLAGS="$(CXXFLAGS)" \
                     ../$(srcdir)/@MPFI@/configure \                      ../$(srcdir)/@MPFI@/configure \
                     --host=@HOST@ \                      --host=@HOST@ \
                     --with-gmp=$(top_builddir)/rplcas \                      --with-gmp=$(top_builddir)/rplcas \

Removed from v.1.67  
changed lines
  Added in v.1.68


CVSweb interface <joel.bertrand@systella.fr>