INCLUDES=-I ../../states -I ../../tactics \
	-I ../ARITH -I ../SETS -I ../BOOL -I ../LISTS -I ../INIT
VOFILES=MultCases.vo Inference.vo

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

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

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

include .depend

