
include ../../config

ZLIBS=
PROGCMO = init.cmo lex_coq.cmo gallina.cmo
PROG=gallina
LINK=-unsafe
OPTLINK=-unsafe

include ../Makefile.tools

lex_coq.ml: lex_coq.mll


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

include .depend


