PACKAGE = ng_tactics INTERFACE_FILES = \ nTacStatus.mli \ nTactics.mli IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) all: include ../../Makefile.defs include ../Makefile.common