# Compile all .ml files against some base libraries # (defined in the plugin as unix,str,nums and bigarray) <**/*.ml>: use_base # # Cocci sources and directories # : include : include : include : include : use_pcre : include : use_menhirLib, nowarn20 : include : include : include : include : include : include : use_pcre : include : thread, use_pycaml # some users have a symlink 'result' pointing to the outcome # of the build, which causes troubles with the hygiene check. : -traverse # # Subdirectories # : use_pcre : use_pcre : use_pcre : use_pcre : use_pcre, use_menhirLib : use_pcre : use_pcre, use_pycaml # # Bundled packages # # apriori remove the traverse tag from the bundle # directories to prevent them from being included. # The traverse tag will be added by the plugin for # the bundles that are included. : -traverse : use_pcre : thread, use_pycaml # Interaction between the bundles and the plugin. : use_pcre : use_pcre : use_pycaml : pp_pycaml, use_pycaml : pp_pycaml : for-pack(MenhirLib) # # Hygiene # # Some lexers and parsers are precompiled in the # source distribution to make some preprocessors # optional : not_hygienic : not_hygienic : not_hygienic : not_hygienic : not_hygienic : not_hygienic : precious : not_hygienic # # Applications # Main is the entry point of spatch. # # library dependencies of spatch. : thread, use_base, use_menhirLib, use_pcre, use_pycaml # some test tools in the subdirectories : use_base, use_pcre : use_base # Build tools/all.otarget for all tools, or # tools/all.opt.otarget for all tools with the native compiler. : use_base : use_base : use_base : use_base : use_base : use_base : use_base : use_base : use_base, use_pcre : use_base # # Documentation # : gen_man, use_menhirLib, use_pcre, use_pycaml : gen_html, use_menhirLib, use_pcre, use_pycaml