diff options
Diffstat (limited to 'modules/libgmp')
-rw-r--r-- | modules/libgmp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/modules/libgmp b/modules/libgmp index 1c347617bb..c8e4970264 100644 --- a/modules/libgmp +++ b/modules/libgmp @@ -11,6 +11,7 @@ Depends-on: configure.ac: gl_LIBGMP +gl_CONDITIONAL_HEADER([gmp.h]) AC_PROG_MKDIR_P if test $HAVE_LIBGMP != yes; then AC_LIBOBJ([mini-gmp-gnulib]) @@ -19,24 +20,25 @@ fi Makefile.am: BUILT_SOURCES += $(GMP_H) +if GL_GENERATE_GMP_H if GL_GENERATE_MINI_GMP_H # Build gmp.h as a wrapper for mini-gmp.h when using mini-gmp. gmp.h: $(top_builddir)/config.status $(MKDIR_P) '%reldir%' echo '#include "mini-gmp.h"' > $@-t mv $@-t $@ -else +endif if GL_GENERATE_GMP_GMP_H # Build gmp.h as a wrapper for gmp/gmp.h. gmp.h: $(top_builddir)/config.status $(MKDIR_P) '%reldir%' echo '#include <gmp/gmp.h>' > $@-t mv $@-t $@ +endif else gmp.h: $(top_builddir)/config.status rm -f $@ endif -endif MOSTLYCLEANFILES += gmp.h gmp.h-t Include: |