include ../../../config


LIBS=-I ../../../states -I ../../../tactics -I ../../../theories/INIT \
     -I ../../../theories/ARITH -I ../../../theories/ZARITH \
    -I ../../../theories/BOOL -I ../polynom -I ../../../theories/TREES\
	-I ../../../theories/LISTS
FLAGS=$(LIBS) -nolib

TACCMO= omega.cmo coq_omega.cmo
TACVO= OmegaSyntax.vo Omega.vo Zcomplements.vo Zpower.vo Zlogarithm.vo
ALLFILES=$(TACCMO) $(TACCMO:.cmo=.cmi) $(TACVO)

include ../Makefile.tactics

install-library:
	$(INSTALL) -d $(ALLFILES) $(COQLIB)/tactics/contrib/omega

include .depend
