ZLIBS=
INCLUDES=-I ../../states -I ../../tactics -I ../INIT\
	-I . -I ../ARITH -I ../LOGIC -I ../LISTS
VOFILES=Newman.vo Operators_Properties.vo Relation_Definitions.vo Relation_Operators.vo Relations.vo Rstar.vo

include ../../config
include ../Makefile.generic
opt:
	$(MAKE) "OPT=-opt" all

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

include .depend
