comparison src/mpfr.mk @ 6324:6c9d803d4a83

* src/mpfr.mk: remove docs
author John Donoghue <john.donoghue@ieee.org>
date Wed, 20 Jul 2022 09:05:59 -0400
parents 68a66a57f70f
children 88394d81a647
comparison
equal deleted inserted replaced
6323:d44081b8cc2a 6324:6c9d803d4a83
24 $(ENABLE_SHARED_OR_STATIC) \ 24 $(ENABLE_SHARED_OR_STATIC) \
25 --prefix='$(HOST_PREFIX)' \ 25 --prefix='$(HOST_PREFIX)' \
26 --enable-threads=win32 \ 26 --enable-threads=win32 \
27 --with-gmp-include='$(HOST_INCDIR)' 27 --with-gmp-include='$(HOST_INCDIR)'
28 --with-gmp-lib='$(HOST_LIBDIR)' 28 --with-gmp-lib='$(HOST_LIBDIR)'
29 $(MAKE) -C '$(1)' -j '$(JOBS)' 29 $(MAKE) -C '$(1)' -j '$(JOBS)' $(MXE_DISABLE_DOCS)
30 $(MAKE) -C '$(1)' -j '$(JOBS)' install 30 $(MAKE) -C '$(1)' -j '$(JOBS)' $(MXE_DISABLE_DOCS) install DESTDIR='$(3)'
31 if [ "$(ENABLE_DEP_DOCS)" == "no" ]; then \
32 rm -rf "$(3)$(HOST_PREFIX)/share/doc/mpfr"; \
33 fi
31 endef 34 endef