ZLIBS=
INCLUDES=-I ../../states -I ../../tactics -I ../../theories/INIT \
	-I ../ARITH
VOFILES=Bool.vo IfProp.vo Zerob.vo DecBool.vo Sumbool.vo

include ../../config
include ../Makefile.generic

opt:
	$(MAKE) "OPT=-opt" all

install-library:
	$(INSTALL) -d $(VOFILES) $(VOFILES:.vo=.v) $(COQLIB)/theories/BOOL

include .depend
