-compile: ../../goaljobs.cmxa compile.cmx
- $(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) \
- $(OCAMLOPTPACKAGES) -linkpkg $^ -o $@
-
-compile.cmx: compile.ml ../../pa_goal.cmo
- $(OCAMLFIND) ocamlopt $(OCAMLOPTFLAGS) $(OCAMLOPTPACKAGES) \
- -pp "$(CAMLP4O) ../../pa_goal.cmo" -c $< -o $@
-
-# Dependencies.
-
-depend: .depend
-
-.depend: $(sources)
- rm -f $@ $@-t
- $(OCAMLFIND) ocamldep -I $(abs_srcdir) -I $(top_builddir) $^ | \
- $(SED) 's/ *$$//' | \
- $(SED) -e :a -e '/ *\\$$/N; s/ *\\\n */ /; ta' | \
- $(SED) -e 's,$(abs_srcdir)/,$(builddir)/,g' | \
- sort > $@-t
- mv $@-t $@
-
--include .depend
-
-SUFFIXES = .cmo .cmi .cmx .ml .mli .mll .mly
+compile: compile.ml $(top_builddir)/goaljobs.cmxa $(top_builddir)/pa_goal.cmo $(top_builddir)/goaljobs
+ $(top_builddir)/goaljobs --pkgdir $(top_builddir) $< -o $@