include ../../config

ZLIBS= -I ../../src/config
PROGCMO = ../../src/config/coq_config.cmo init.cmo lex_cld.cmo \
      lex_coq.cmo coqdep.cmo
PROG=coqdep
LINK=-custom unix.cma $(OSDEPLIBS)
OPTLINK=unix.cmxa $(OSDEPLIBS)

include ../Makefile.tools

install-manpage:
	$(INSTALL) -d coqdep.1 $(MANDIR)/man1

lex_cld.ml: lex_cld.mll

lex_coq.ml: lex_coq.mll

depend: lex_cld.ml lex_coq.ml

include .depend


