ZLIBS=
INCLUDES=-I ../../../states -I ../../../tactics -I ../../INIT -I ../../ARITH \
         -I ../../SETS -I ../../BOOL -I ../../LISTS -I .
VOFILES=Heap_prog.vo Avl_prog.vo Euclid_prog.vo

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

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

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

include .depend
