$NetBSD: patch-aa,v 1.3 2006/01/16 14:34:34 tonio Exp $

--- Makefile.orig	2006-01-16 15:09:17.000000000 +0100
+++ Makefile
@@ -608,22 +608,22 @@ install-coqide:: install-ide-$(HASCOQIDE
 install-ide-no:
 
 install-ide-byte: 
-	$(MKDIR) $(FULLBINDIR)
-	cp $(COQIDEBYTE) $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLBINDIR)
+	${BSD_INSTALL_SCRIPT} $(COQIDEBYTE) $(FULLBINDIR)
 	cd $(FULLBINDIR); ln -sf coqide.byte$(EXE) coqide$(EXE)
 
 install-ide-opt:
-	$(MKDIR) $(FULLBINDIR)
-	cp $(COQIDEBYTE) $(COQIDEOPT) $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLBINDIR)
+	${BSD_INSTALL_SCRIPT} $(COQIDEBYTE) $(COQIDEOPT) $(FULLBINDIR)
 	cd $(FULLBINDIR); ln -sf coqide.opt$(EXE) coqide$(EXE)
 
 install-ide-files:
-	$(MKDIR) $(FULLIDELIB)
-	cp $(IDEFILES) $(FULLIDELIB)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLIDELIB)
+	${BSD_INSTALL_DATA} $(IDEFILES) $(FULLIDELIB)
 
 install-ide-info:
-	$(MKDIR) $(FULLIDELIB)
-	cp ide/FAQ $(FULLIDELIB)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLIDELIB)
+	${BSD_INSTALL_DATA} ide/FAQ $(FULLIDELIB)
 
 ###########################################################################
 # Pcoq: special binaries for debugging (coq-interface, parser)
@@ -700,18 +700,18 @@ clean::
 install-pcoq:: install-pcoq-binaries install-pcoq-files install-pcoq-manpages
 
 install-pcoq-binaries::
-	$(MKDIR) $(FULLBINDIR)
-	cp $(COQINTERFACE) $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM} $(COQINTERFACE) $(FULLBINDIR)
 
 install-pcoq-files::
-	$(MKDIR) $(FULLCOQLIB)/contrib/interface
-	cp $(INTERFACERC) $(FULLCOQLIB)/contrib/interface
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/contrib/interface
+	${BSD_INSTALL_DATA} $(INTERFACERC) $(FULLCOQLIB)/contrib/interface
 
 PCOQMANPAGES=man/coq-interface.1 man/parser.1
 
 install-pcoq-manpages:
-	$(MKDIR) $(FULLMANDIR)/man1
-	cp $(PCOQMANPAGES) $(FULLMANDIR)/man1
+	${BSD_INSTALL_DATA_DIR} $(FULLMANDIR)/man1
+	${BSD_INSTALL_MAN} $(PCOQMANPAGES) $(FULLMANDIR)/man1
 
 ###########################################################################
 # tests
@@ -1146,18 +1146,18 @@ install-coqlight: install-binaries insta
 install-binaries:: install-$(BEST) install-tools
 
 install-byte::
-	$(MKDIR) $(FULLBINDIR)
-	cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLBINDIR)
+	${BSD_INSTALL_SCRIPT} $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(FULLBINDIR)
 	cd $(FULLBINDIR); ln -sf coqtop.byte$(EXE) coqtop$(EXE)
 
 install-opt::
-	$(MKDIR) $(FULLBINDIR)
-	cp $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLBINDIR)
+	${BSD_INSTALL_SCRIPT} $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(COQTOPOPT) $(FULLBINDIR)
 	cd $(FULLBINDIR); ln -sf coqtop.opt$(EXE) coqtop$(EXE)
 
 install-tools::
-	$(MKDIR) $(FULLBINDIR)
-	cp $(TOOLS) $(FULLBINDIR)
+	${BSD_INSTALL_PROGRAM_DIR} $(FULLBINDIR)
+	${BSD_INSTALL_SCRIPT} $(TOOLS) $(FULLBINDIR)
 
 LIBFILES=$(OLDTHEORIESVO) $(OLDCONTRIBVO)
 LIBFILESLIGHT=$(OLDTHEORIESLIGHTVO)
@@ -1168,61 +1168,65 @@ NEWLIBFILESLIGHT=$(NEWTHEORIESLIGHTVO)
 install-library: install-library7 install-library8
 
 install-library8:
-	$(MKDIR) $(FULLCOQLIB)
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)
 	for f in $(NEWLIBFILES); do \
-	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
-	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA} $$f $(FULLCOQLIB)/`dirname $$f`; \
         done
-	$(MKDIR) $(FULLCOQLIB)/states
-	cp states/*.coq $(FULLCOQLIB)/states
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/states
+	${BSD_INSTALL_DATA} states/*.coq $(FULLCOQLIB)/states
 
 install-library7:
-	$(MKDIR) $(FULLCOQLIB)
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)
 	for f in $(LIBFILES); do \
-	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
-	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA} $$f $(FULLCOQLIB)/`dirname $$f`; \
         done
-	$(MKDIR) $(FULLCOQLIB)/states7
-	cp states7/*.coq $(FULLCOQLIB)/states7
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/states7
+	${BSD_INSTALL_DATA} states7/*.coq $(FULLCOQLIB)/states7
 
 install-library-light:
-	$(MKDIR) $(FULLCOQLIB)
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)
 	for f in $(LIBFILESLIGHT) $(NEWLIBFILESLIGHT); do \
-	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
-	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA} $$f $(FULLCOQLIB)/`dirname $$f`; \
         done
-	$(MKDIR) $(FULLCOQLIB)/states
-	cp states/*.coq $(FULLCOQLIB)/states
-	$(MKDIR) $(FULLCOQLIB)/states7
-	cp states7/*.coq $(FULLCOQLIB)/states7
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/states
+	${BSD_INSTALL_DATA} states/*.coq $(FULLCOQLIB)/states
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/states7
+	${BSD_INSTALL_DATA} states7/*.coq $(FULLCOQLIB)/states7
 
 install-allreals::
 	for f in $(ALLREALS); do \
-	  $(MKDIR) $(FULLCOQLIB)/`dirname $$f`; \
-	  cp $$f $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA_DIR} $(FULLCOQLIB)/`dirname $$f`; \
+	  ${BSD_INSTALL_DATA} $$f $(FULLCOQLIB)/`dirname $$f`; \
         done
 
 install-coq-info: install-coq-manpages install-emacs install-latex
 
 MANPAGES=man/coq-tex.1 man/coqdep.1 man/gallina.1 \
-	man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 \
+	man/coqc.1 man/coqtop.1 man/coqtop.byte.1 \
 	man/coqwc.1 man/coqdoc.1 \
 	man/coq_makefile.1 man/coqmktop.1
+	ifeq ($(BEST),opt)
+	MANPAGES+=man/coqtop.opt.1
+	endif
+
 
 install-coq-manpages:
-	$(MKDIR) $(FULLMANDIR)/man1
-	cp $(MANPAGES) $(FULLMANDIR)/man1
+	${BSD_INSTALL_DATA_DIR} $(FULLMANDIR)/man1
+	${BSD_INSTALL_MAN} $(MANPAGES) $(FULLMANDIR)/man1
 
 install-emacs:
-	$(MKDIR) $(FULLEMACSLIB)
-	cp tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
+	${BSD_INSTALL_DATA_DIR} $(FULLEMACSLIB)
+	${BSD_INSTALL_DATA} tools/coq.el tools/coq-inferior.el $(FULLEMACSLIB)
 
 # command to update TeX' kpathsea database
 #UPDATETEX = $(MKTEXLSR) /usr/share/texmf /var/spool/texmf $(BASETEXDIR) > /dev/null
 
 install-latex:
-	$(MKDIR) $(FULLCOQDOCDIR)
-	cp tools/coqdoc/coqdoc.sty $(FULLCOQDOCDIR)	
+	${BSD_INSTALL_DATA_DIR} $(FULLCOQDOCDIR)
+	${BSD_INSTALL_DATA} tools/coqdoc/coqdoc.sty $(FULLCOQDOCDIR)	
 #	-$(UPDATETEX)
 
 ###########################################################################
@@ -1453,11 +1457,11 @@ ML4FILES += lib/pp.ml4 			\
 
 .ml4.cmx:
 	$(SHOW)'OCAMLOPT4 $<'
-	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
+	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
 
 .ml4.cmo:
 	$(SHOW)'OCAMLC4   $<'
-	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
+	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
 
 #.v.vo:
 #	$(BOOTCOQTOP) -compile $*