$(OCAMLOPTPACKAGES) -linkpkg $^ -o $@
compile.cmx: compile.ml ../../pa_goal.cmo
+ OCAMLPATH=$(abs_top_builddir) \
$(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) $(OCAMLOPTPACKAGES) \
-pp "$(CAMLP4O) ../../pa_goal.cmo" -c $< -o $@
mv $@-t $@
-include .depend
-
-SUFFIXES = .cmo .cmi .cmx .ml .mli .mll .mly