Ticket #1848: Makefile.patch

File Makefile.patch, 0.5 KB (added by chak, 6 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