--- Makefile.orig Sat Aug 27 15:49:56 2005 +++ Makefile Sat Aug 27 15:51:55 2005 @@ -68,15 +68,15 @@ ###################################################################### # Installation -INSTALLDIR = $(HOME)/bin/ +INSTALLDIR = ${PREFIX}/bin/ # This has two names because on OSX the file INSTALL shadows the target 'install'! install: doinstall doinstall: $(NAME)$(EXEC_EXT) - -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$) - cp $(NAME)$(EXEC_EXT) $(INSTALLDIR) - cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(MAJORVERSION)$(EXEC_EXT) +# -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$) + ${BSD_INSTALL_PROGRAM} $(NAME)$(EXEC_EXT) $(INSTALLDIR) +# cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(MAJORVERSION)$(EXEC_EXT) ###################################################################### @@ -353,7 +353,7 @@ .PHONY: tags tags: - -$(ETAGS) *.mli */*.mli *.ml */*.ml *.m */*.m *.c */*.c *.txt + -$(ETAGS) *.mli */*.mli *.ml */*.ml */*.m *.c */*.c *.txt all:: TAGS