
INCLUDES=-I ../../states -I ../../tactics -I ../../theories/INIT
VOFILES=Classical.vo Classical_Pred_Set.vo Classical_Pred_Type.vo Classical_Prop.vo Classical_Type.vo Eqdep.vo Eqdep_dec.vo

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

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

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

include .depend
