# This is a temporary support file for emacs annotations. 
# It does not compile the Z3 ML API; this will be built 
# in the top-level build directory.

all: 
	ocamlbuild -cflag -annot z3.cmxa