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 \ |