$NetBSD: patch-Makefile,v 1.1 2017/09/05 07:30:00 dholland Exp $

Don't install nonexecutables with execute permission.

--- Makefile.orig	2017-06-01 08:02:11.000000000 +0000
+++ Makefile
@@ -1527,30 +1527,30 @@ install:: install-lib
 	$(MKDIR) $(FRAMAC_DATADIR)/libc/net
 	$(MKDIR) $(FRAMAC_DATADIR)/libc/arpa
 	$(PRINT_INSTALL) shared files
-	$(CP) \
+	$(CPNX) \
 	  $(wildcard share/*.c share/*.h) \
 	  share/Makefile.dynamic share/Makefile.plugin.template share/Makefile.kernel \
 	  share/Makefile.config share/Makefile.common share/Makefile.generic \
 	  share/configure.ac share/autocomplete_frama-c \
 	  $(FRAMAC_DATADIR)
 	$(MKDIR) $(FRAMAC_DATADIR)/emacs
-	$(CP) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs
-	$(CP) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR)
-	$(CP) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default
-	$(CP) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind
+	$(CPNX) $(wildcard share/emacs/*.el) $(FRAMAC_DATADIR)/emacs
+	$(CPNX) share/frama-c.rc $(ICONS) $(FRAMAC_DATADIR)
+	$(CPNX) $(FEEDBACK_ICONS_DEFAULT) $(FRAMAC_DATADIR)/theme/default
+	$(CPNX) $(FEEDBACK_ICONS_COLORBLIND) $(FRAMAC_DATADIR)/theme/colorblind
 	if [ -d $(EMACS_DATADIR) ]; then \
-	  $(CP) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \
+	  $(CPNX) $(wildcard share/emacs/*.el) $(EMACS_DATADIR); \
 	fi
-	$(CP) share/Makefile.dynamic_config.external \
+	$(CPNX) share/Makefile.dynamic_config.external \
 	      $(FRAMAC_DATADIR)/Makefile.dynamic_config
 	$(PRINT_INSTALL) C standard library
-	$(CP) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \
+	$(CPNX) $(wildcard share/libc/*.c share/libc/*.i share/libc/*.h) \
 	      $(FRAMAC_DATADIR)/libc
-	$(CP) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys
-	$(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa
-	$(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net
-	$(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet
-	$(CP) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux
+	$(CPNX) share/libc/sys/*.[ch] $(FRAMAC_DATADIR)/libc/sys
+	$(CPNX) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa
+	$(CPNX) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net
+	$(CPNX) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet
+	$(CPNX) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux
 	$(PRINT_INSTALL) binaries
 	$(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE)
 	$(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE)
@@ -1569,27 +1569,27 @@ install:: install-lib
 		$(CP) bin/frama-c-config$(EXE) $(BINDIR); \
 	fi
 	$(PRINT_INSTALL) config files
-	$(CP) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR)
+	$(CPNX) $(addprefix ptests/,$(PTESTS_FILES)) $(FRAMAC_LIBDIR)
 	$(PRINT_INSTALL) API documentation
 	$(MKDIR) $(FRAMAC_DATADIR)/doc/code
-	$(CP) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code
+	$(CPNX) $(wildcard $(DOC_GEN_FILES)) $(FRAMAC_DATADIR)/doc/code
 	$(PRINT_INSTALL) dynamic plug-ins
 	if [ -d "$(FRAMAC_PLUGIN)" -a "$(PLUGIN_DYN_EXISTS)" = "yes" ]; then \
-	  $(CP)  $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \
+	  $(CPNX)  $(PLUGIN_DYN_CMI_LIST) $(PLUGIN_META_LIST) \
 		 $(FRAMAC_PLUGINDIR); \
-	  $(CP)  $(PLUGIN_DYN_CMO_LIST) $(PLUGIN_DYN_CMX_LIST) \
+	  $(CPNX)  $(PLUGIN_DYN_CMO_LIST) $(PLUGIN_DYN_CMX_LIST) \
 		 $(FRAMAC_PLUGINDIR)/top; \
 	fi
 	$(PRINT_INSTALL) dynamic gui plug-ins
 	if [ -d "$(FRAMAC_PLUGIN_GUI)" -a "$(PLUGIN_DYN_GUI_EXISTS)" = "yes" ]; \
 	then \
-	  $(CP) $(patsubst %.cma,%.cmi,$(PLUGIN_DYN_GUI_CMO_LIST:.cmo=.cmi)) \
+	  $(CPNX) $(patsubst %.cma,%.cmi,$(PLUGIN_DYN_GUI_CMO_LIST:.cmo=.cmi)) \
 		$(PLUGIN_DYN_GUI_CMO_LIST) $(PLUGIN_DYN_GUI_CMX_LIST) \
 		$(FRAMAC_PLUGINDIR)/gui; \
 	fi
 	$(PRINT_INSTALL) man pages
-	$(CP) man/frama-c.1 $(MANDIR)/man1/frama-c.1
-	$(CP) man/frama-c.1 $(MANDIR)/man1/frama-c-gui.1
+	$(CPNX) man/frama-c.1 $(MANDIR)/man1/frama-c.1
+	$(CPNX) man/frama-c.1 $(MANDIR)/man1/frama-c-gui.1
 
 .PHONY: uninstall
 uninstall::
