include ../../../config

LIBS=-I ../../../states -I ../../../tactics -I ../../../theories/INIT
FLAGS=$(LIBS) -nolib

TACCMO = ntrefiner.cmo util.cmo tutil.cmo ntparam.cmo ntdef.cmo ntaux.cmo ntsons.cmo nttrans.cmo ntpprinter.cmo ntformat.cmo ntdata.cmo ntuse.cmo ntcount.cmo ppml.cmo ppaux.cmo ppenglish_aux.cmo ppenglish.cmo ppfrench_aux.cmo ppfrench.cmo ppprooftext.cmo nttop.cmo ntcommand.cmo ntentries.cmo
TACVO=Natural.vo

include ../Makefile.tactics

ALLFILES=$(TACCMO) $(TACCMO:.cmo=.cmi) $(TACVO)

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

include .depend
