Ticket #1848: Makefile.patch

File Makefile.patch, 540 bytes (added by chak, 8 years ago)
  • Makefile

    old new  
    2727        $(MAKE) -C docs      install-docs DOING_BIN_DIST=YES
    2828        $(MAKE) -C libraries/Cabal/doc install-docs DOING_BIN_DIST=YES
    2929        $(INSTALL_DATA) $(INSTALL_OPTS) extra-gcc-opts $(libdir)
     30ifneq "$(HaveLibGmp)" "YES"
     31ifneq "$(HaveFrameworkGMP)" "YES"
     32        $(INSTALL_DATA) gmp/gmp.h    $(headerdir)
     33        $(INSTALL_DATA) gmp/libgmp.a $(libdir)
     34endif
     35endif
    3036
    3137install :: postinstall denounce
    3238