--- 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: