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 ../../theories/INIT
VOFILES=Arith.vo Between.vo Compare.vo Compare_dec.vo Div.vo EqNat.vo \
        Euclid_def.vo Euclid_proof.vo Gt.vo Le.vo Lt.vo Min.vo Minus.vo \
        Mult.vo Peano_dec.vo Plus.vo Wf_nat.vo Even.vo Div2.vo
CMOFILES=g_natsyntax.cmo

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

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

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

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


include .depend
