2.2.3 Pragmas at Top-Level

• The no_typecheck pragma at the top-level of a file disables typechecking of all declarations in the file (not just the methods in the file).
• The specialize("msg", num_msg_params, [[obj_name1, num_obj_params1], ...,[obj_nameN, num_obj_paramsN]]) pragma causes the method named msg with num_msg_params type parameters and N formals to be specialized, where its i^th formal is specialized on the object named obj_namei with num_obj_paramsi type parameters.
• The library("name") pragma identifies the containing file as being the root file for the library named name. All files included from this file lacking their own library pragmas are included in the library. When the Vortex option use_shared_libraries is on, the files in a library will be compiled separately from all including applications (without optimization) and shared by all including applications.
• The include_dir("-Idir1 -Idir2 ...") pragma adds its argument to the include-directory list part of the command line used for cc, as, and ld. (Note that the directories should be absolute path names, since the directory used for compiling and linking the generated code is usually not the same as that containing the file referring to the include directories.)
• The compile_with("...") pragma adds its argument to the end of the flags part of the command line used for cc and ld. (Any -Idir options in the argument list are extracted and added to the include-directory list.)
• The lib_dir("-Ldir1 -Ldir2 ...") pragma adds its argument to the library-directory list part of the command line used for ld. (Note that the directories should be absolute path names, since the directory used for linking the generated code is usually not the same as that containing the file referring to the library directories.)
• The lib("-llib1 -llib2 lib3.a ...") pragma adds its argument to the library list part of the command line used for ld. (Note that any path names of libraries should be absolute path names, since the directory used for linking the generated code is usually not the same as that containing the file referring to the library.)
• The link_with("...") pragma adds any -llib arguments to the library list, adds any other -... options to the linker flags list, and adds all other arguments to the end of the command line used for ld.