CMOFILES=coq_config.cmo

byte: $(CMOFILES:.cmo=.cmi) $(CMOFILES)
opt: byte $(CMOFILES:.cmo=.cmx)

# coq_config ne doit pas tre compil avec -p
coq_config.cmx:
	$(CAMLOPTC) $(ZFLAGS) $<

include ../../config
include ../Makefile.src
include .depend

