ZLIBS=
INCLUDES=-I ../BOOL -I ../ARITH -I ../SETS -I ../RELATIONS -I ../LISTS -I ../../tactics -I ../../states
VOFILES=Generic.vo Heap.vo Permutation.vo Sorting.vo

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

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

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

include .depend
