ZLIBS=-I ../../../src/tactics -I ../../../src/proofs \
  -I ../../../src/syntax -I ../../../src/env -I ../../../src/lib/util \
  -I ../../../src/constr -I ../../../tactics -I ../../../src/meta \
  -I ../../../src/typing -I ../../../src/parsing
INCLUDES=-I ../../../states -I ../../../tactics -I ../../INIT \
	-I .. -I ../../ARITH -I ../../LOGIC -I ../../LISTS
VOFILES=Disjoint_Union.vo Inclusion.vo Inverse_Image.vo Lexicographic_Exponentiation.vo Lexicographic_Product.vo Transitive_Closure.vo Union.vo Well_Ordering.vo Wellfounded.vo

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

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

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

include .depend

