Add build support for typerex

Wraps the compilation in the typerex compiler rules, which allows
typerex to find cross references and such.

The typerex wrapper slows down the compilation quite a bit, so
switching to byte-compilation to reduce dependencies could be useful.

.typerex

@@ -0,0 +1,5 @@
+CMT _build
+
+# Where to find sources for various libraries we depend upon.
+/home/davidb/ocaml/batteries-included/src
+.

Makefile

@@ -5,6 +5,10 @@
 
 KIND = native
 
+# Build typerex info.
+# Comment out to build without
+# export OCAMLFIND_CONF := $(PWD)/etc/findlib-typerex.conf
+
 TARGETS = test.$(KIND) odump.$(KIND)
 all: .force
 	ocamlbuild $(TARGETS)

_tags

@@ -5,6 +5,8 @@
 <*.ml> or <*.mli> or <*.native> or <*.byte>: package(shell)
 <*.ml> or <*.mli> or <*.native> or <*.byte>: thread
 
+<*.ml> or <*.mli>: annot
+
 # Enable this to get camlp4of.
 # TODO: Figure out how to pull in other extensions.
 # <*.ml> or <*.mli>: camlp4of

etc/findlib-typerex.conf

@@ -0,0 +1,5 @@
+destdir="/usr/local/lib/ocaml/3.12.1"
+path="/usr/local/lib/ocaml/3.12.1:/usr/lib/ocaml:/usr/lib/ocaml/METAS"
+
+ocamlc="ocp-ocamlc.opt"
+ocamlopt="ocp-ocamlopt.opt"