ZLIBS=
INCLUDES=-I ../../states -I ../../tactics -I ../INIT \
	-I ../ARITH -I ../LOGIC -I ../BOOL
VOFILES=Classical_sets.vo Constructive_sets.vo Cpo.vo Ensembles.vo Finite_sets.vo Finite_sets_facts.vo Image.vo Infinite_sets.vo Integers.vo Partial_Order.vo Powerset.vo Powerset_Classical_facts.vo Powerset_facts.vo Relations_1.vo Relations_1_facts.vo Relations_2.vo Relations_2_facts.vo Relations_3.vo Relations_3_facts.vo Permut.vo Multiset.vo Uniset.vo

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

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

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

include .depend
