--- lablgtk-2.14.2/src/Makefile.orig 2012-07-31 17:37:12.000000000 +0200 +++ lablgtk-2.14.2/src/Makefile 2012-07-31 17:37:17.000000000 +0200 @@ -191,7 +191,7 @@ .ml4.cmo: $(CAMLC) -c -pp "$(CAMLP4O) -impl" -impl $< .cmxa.cmxs: - $(CAMLOPT) -verbose -o $@ -shared -linkall -I . \ + $(CAMLOPT) -o $@ -shared -linkall -I . \ -ccopt '$(filter -L%, $(DYNLINKLIBS))' $< #.ml4.ml: