ZLIBS=
INCLUDES=-I ../../states -I ../../tactics -I ../../theories/INIT\
	-I ../ARITH -I ../BOOL
VOFILES=List.vo PolyList.vo PolyListSyntax.vo Streams.vo TheoryList.vo \
	ListSet.vo

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

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

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

include .depend
