diff --git a/Makefile.in b/Makefile.in index e05917c686..b962a10670 100644 --- a/Makefile.in +++ b/Makefile.in @@ -794,6 +794,45 @@ endif $(RM_F) $(LIBDIR)/$(FLINT_LIB_STATIC) $(RM_RF) $(INCLUDEDIR)/flint +################################################################################ +# regenerate part of the build system of needed +################################################################################ + +ifneq ($(MAINTAINER_MODE),no) # disable this for releases? +ifneq ($(shell command -v autoconf 2> /dev/null),) +configure: configure.ac + @echo "Running autoconf" + @autoconf +else +configure: configure.ac + $(warning autoconf not available, proceeding with stale configure) +endif +endif + +config.status: configure + ./config.status --recheck + +Makefile: Makefile.in config.status + ./config.status $@ + +flint.pc: flint.pc.in config.status + ./config.status $@ + +src/flint.h: src/flint.h.in config.status + ./config.status $@ + +libtool: config.status + ./config.status $@ + +src/fft_tuning.h: @FFT_TUNING_IN@ config.status + ./config.status $@ + +src/fmpz/fmpz.c: @FMPZ_C_IN@ config.status + ./config.status $@ + +src/gmpcompat.h: src/@GMPCOMPAT_H_IN@ config.status + ./config.status $@ + ################################################################################ # maintainer stuff ################################################################################ diff --git a/configure.ac b/configure.ac index 2b12be05ec..e2c08af479 100644 --- a/configure.ac +++ b/configure.ac @@ -572,6 +572,7 @@ case "$host_cpu" in ;; esac AC_CONFIG_FILES([src/fft_tuning.h:$fft_tuning_in],[],[fft_tuning_in="$fft_tuning_in"]) +AC_SUBST(FFT_TUNING_IN, $fft_tuning_in) if test -z "$LDCONFIG"; then @@ -643,6 +644,7 @@ AC_COMPILE_IFELSE( gmpcompat_h_in="gmpcompat.h.in") AC_CONFIG_FILES([src/gmpcompat.h:src/$gmpcompat_h_in],[],[gmpcompat_h_in="$gmpcompat_h_in"]) +AC_SUBST(GMPCOMPAT_H_IN, $gmpcompat_h_in) # Check that MPFR >= 4.1.0 AC_MSG_CHECKING([if version of MPFR is greater than 4.1.0]) @@ -1102,6 +1104,7 @@ else fi AC_CONFIG_FILES([src/fmpz/fmpz.c:$fmpz_c],[],[fmpz_c="$fmpz_c"]) +AC_SUBST(FMPZ_C_IN, $fmpz_c) if test "$enable_shared" = "yes"; then