INCLUDES=-I ../../states -I ../../tactics -I ../INIT -I ../LISTS \
	-I ../ARITH
VOFILES=Btree.vo

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

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

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

include .depend

