diff -ur ocaml-3.12.1/tools/Makefile.shared ocaml-3.12.1.new/tools/Makefile.shared

--- ocaml-3.12.1/tools/Makefile.shared	2011-12-19 17:28:06.000000000 +0400

+++ ocaml-3.12.1.new/tools/Makefile.shared	2011-12-19 17:50:34.881921779 +0400

@@ -240,6 +240,10 @@

 clean::

 	rm -f objinfo objinfo_helper$(EXE)

+

+reqprov: reqprov.cmo

+	$(CAMLC) $(LINKFLAGS) -o reqprov config.cmo bytesections.cmo reqprov.cmo

+

 # Scan object files for required primitives

 PRIMREQ=primreq.cmo