diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-17 10:59:10 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-17 10:59:10 +0000 |
| commit | bbc37abd58d11880b217b7e1f67461bd6d8d59bf (patch) | |
| tree | c09b65fd440a81b427a7d9306f5a4e2b8da5e5a3 | |
| parent | b276b076cfe4b808b473daaba00e3adf04581db0 (diff) | |
| download | mpfr-bbc37abd58d11880b217b7e1f67461bd6d8d59bf.tar.gz | |
[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
| -rw-r--r-- | src/Makefile.am | 7 |
1 files 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 |