MODULES=terms equations orderings kb
MAIN_MODULE=kbmain
ADD_COMPFLAGS=-w a

include ../../makefiles/Makefile.one
include ../../makefiles/Makefile.common
