Holmake -I ../official-semantics -I ../executable-semantics -I ../regexp -I ../parser.mosmlyacc