include ../../config

ZLIBS= -I ../../src/config
PROGCMO = ../../src/config/coq_config.cmo coqinstall.cmo
PROG=coqinstall
LINK=-custom unix.cma $(OSDEPLIBS)
OPTLINK=unix.cmxa $(OSDEPLIBS)


include ../Makefile.tools
include .depend

