(* buildNJint *)

open Make;
loadFrom "ML_CONSULT_INT";
make "K";
if exportML"kit" then print "The ML Kit, Version 1\nCopyright (C) 1993 Edinburgh and Copenhagen Universities\n" else print"";

