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 ../ARITH -I ../BOOL
CMOFILES=g_zsyntax.cmo
VOFILES=ZArith.vo auxiliary.vo zarith_aux.vo Zsyntax.vo fast_integer.vo \
        ZArith_dec.vo Zmisc.vo Wf_Z.vo

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

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

sourceopt: $(CMOFILES:.cmo=.cmx)

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

include .depend
