ZLIBS=
INCLUDES=-I ../../../states -I ../../../tactics -I ../../BOOL -I ../../ARITH \
         -I ../../INIT -I ../../ZARITH -I ../../../tactics/contrib/omega
VOFILES=Examples.vo Le_omega.vo Lt_omega.vo Plus_omega.vo Gt_omega.vo \
	Minus_omega.vo Mult_omega.vo

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

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

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

include .depend
