Sophie

Sophie

distrib > Mandriva > current > i586 > media > contrib-release-src > by-pkgid > 8001ded157c1c806b1a898bb61dd2b1a > files > 1

edos-dose-2.0-0.20070622.4mdv2010.1.src.rpm

--- make/Makefile.common~	2007-06-22 04:17:03.000000000 +0200
+++ make/Makefile.common	2007-06-22 18:46:04.000000000 +0200
@@ -22,7 +22,7 @@ MENHIR     = menhir
 .PHONY: install
 install: all
 	{ test ! -f $(XARCHIVE) || extra1="*.cmxa *.a"; }; \
-	$(OCAMLFIND) install $(NAME) *.mli *.cmi *.cma META $$extra1 $$extra2
+	$(OCAMLFIND) install $(OCAMLFIND_INSTFLAGS) $(NAME) *.mli *.cmi *.cma META $$extra1 $$extra2
 
 .PHONY: uninstall
 uninstall: