Sophie

Sophie

distrib > * > 2008.0 > x86_64 > by-pkgid > 47f8084205a3969c02efbb062ba4f748 > files > 1

edos-dose-2.0-0.20070622.2mdv2008.0.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: