ZLIBS=
INCLUDES=-I ../../states -I ../../tactics \
	-I ../INIT -I ../ARITH -I ../SETS -I ../BOOL -I ../LISTS \
	-I ../LOGIC -I ../ZARITH \
	-I ../../tactics/contrib/linear -I ../../tactics/contrib/polynom \
	-I ../../tactics/contrib/omega

VOFILES= NewInductifs.vo Disc_Inj.vo DemoLinear.vo DemoQuote.vo DemoRing.vo

MAKE=make 

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

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

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

include .depend
