PP = $(PP_SYNTAX) pa_fol.cmo
OCAMLDEPFLAGS = -pp "$(PP)"
OCAMLPPFLAGS = -pp "$(PP)"
OCAML_OTHER_LIBS += nums

# Tell the dependency which cannot be inferred from the source file:
NeedCamlp4Extension(use, pa_fol)
NeedCamlp4Extension(fol, pa_fol)

COMPILED_PGM = $(OCamlProgram use, fol use)
.DEFAULT: $(COMPILED_PGM)

# Show the result of the Camlp4 transformation
.PHONY: show
show: pa_fol.cmo
  $(PP) -printer o use.ml


clean:
  rm -f $(glob *~ *.annot *.cmi *.cmo *.cma *.cmx *.o) $(COMPILED_PGM)



