From bbc37abd58d11880b217b7e1f67461bd6d8d59bf Mon Sep 17 00:00:00 2001 From: vlefevre Date: Mon, 17 Sep 2018 10:59:10 +0000 Subject: [src/Makefile.am] Update for mini-gmp (install mini-gmp.h). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/with-mini-gmp@13209 280ebfd0-de03-0410-8827-d642c229c3f4 --- src/Makefile.am | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 886a70d2e..81ac3c16c 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -92,9 +92,10 @@ $(srcdir)/get_patches.c: $(top_srcdir)/PATCHES $(top_srcdir)/tools/get_patches.s (cd $(top_srcdir) && ./tools/get_patches.sh) > $@ || rm -f $@ if MINI_GMP -# FIXME: The noinst_ below may be wrong. The idea was to avoid a libminigmp -# installation in case of static build only, but this is probably incorrect -# in case of an installation of a dynamic build. To be decided later... +include_HEADERS += $(mini_gmp_path)/mini-gmp.h +# The noinst_ below seems OK as libminigmp should be included in libmpfr, +# and this is confirmed by ldd (replacing noinst_ by lib_ does not seem to +# do this and makes linking of the test programs fail). noinst_LTLIBRARIES = libminigmp.la libminigmp_la_SOURCES = $(mini_gmp_path)/mini-gmp.h $(mini_gmp_path)/mini-gmp.c libmpfr_la_LIBADD += libminigmp.la -- cgit v1.2.1