include ../../../config

LIBS=-I ../../../states -I ../../../tactics -I ../../../theories/INIT
FLAGS=$(LIBS)  -nolib
TACCMO=general.cmo dpctypes.cmo subst.cmo graph.cmo unif.cmo \
	  kwc.cmo lk_proofs.cmo prove.cmo ccidpc.cmo dpc.cmo
TACVO=Linear.vo
ALLFILES=$(TACCMO) $(TACCMO:.cmo=.cmi) $(TACVO)

include ../Makefile.tactics
include .depend

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