include ../../../config

LIBS=-I ../../../states -I ../../../tactics -I ../../../theories/INIT \
	 -I ../../../theories/ZARITH -I ../../../theories/BOOL \
	 -I ../../../theories/ARITH -I ../../../theories/LOGIC
FLAGS=$(LIBS)
TACVO=Quote.vo Ring_theory.vo Ring_normalize.vo Ring.vo Ring_abstract.vo ArithRing.vo ZArithRing.vo 
TACCMO=quote.cmo ring.cmo
ALLFILES=$(TACCMO) $(TACCMO:.cmo=.cmi) $(TACVO)

include ../Makefile.tactics

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

include .depend
