$OpenBSD: patch-Makefile_in,v 1.1.1.1 2005/09/22 14:38:41 avsm Exp $ --- Makefile.in.orig Mon Jan 17 13:27:36 2005 +++ Makefile.in Thu Sep 22 14:56:14 2005 @@ -142,14 +142,8 @@ doc: $(CMO) ######### install: $(LIBS) $(CLIBS) META - @if [ "`sed -n -e 's/version = "\([0-9.]*\)"/\1/p' META`" = "$(VERSION)" ]; then \ - (if test -d $(CAMLLIB)/site-lib/$(NAME); then $(MAKE) uninstall; fi;\ - $(CAMLFIND) install $(NAME) $(LIBS) $(CLIBS) $(MLI) $(CMI) META\ - )else \ - (echo; echo "Not the good version. Please, do :"; \ - echo " make clean && make"; \ - echo "next reinstall"; echo) \ - fi + mkdir -p $(DESTDIR)/$(CAMLLIB) + cp $(LIBS) $(CLIBS) $(MLI) $(CMI) $(DESTDIR)/$(CAMLLIB) uninstall: $(CAMLFIND) remove $(NAME)