ZLIBS=
INCLUDES=-I ../../states -I ../../tactics \
	 -I ../INIT -I ../BOOL -I ../ARITH -I ../LOGIC -I ../ZARITH \
	 -I ../../tactics/contrib/omega -I ../../tactics/contrib/polynom
VOFILES=TypeSyntax.vo Raxioms.vo Rbase.vo R_Ifp.vo Rbasic_fun.vo Rlimit.vo Rfunctions.vo Rderiv.vo Reals.vo 

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

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

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

include .depend
