all: atdgen-tmp code atdgen-tmp: atdgen -t settings.atd atdgen -j settings.atd code: corebuild -pkg yojson,atdgen oclaunch.byte
