/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | ReadHMF.sig | 18 that are pointed to by INCLUDES variable declarations. If there is 24 pointed to by lpref to include the INCLUDES and PRE_INCLUDES 27 happening (when there is an INCLUDES or PRE_INCLUDES line).
|
H A D | ReadHMF.sml | 336 val raw_incs = readlist e "INCLUDES" @ readlist e "PRE_INCLUDES" 382 val post_incs = map (canonicalise dir) (envlist "INCLUDES") 383 val _ = diag "INCLUDES" post_incs 429 val all_incs = Binaryset.listItems (acc_range "INCLUDES" postm)
|
H A D | Holmake.sml | 145 {includes = envlist env "INCLUDES" |> slist_to_dset dir, 280 INCLUDES lines in the local Holmakefile 317 getnewincs : get INCLUDES information from a directory, 324 dirinfo : tracks INCLUDES info, and the progress of the 374 "\n (Probably a result of bad INCLUDES spec.)")
|
H A D | HM_Core_Cline.sml | 214 { help = "don't build recursively in INCLUDES",
|
/seL4-l4v-master/HOL4/tools/Holmake/tests/gh604/ |
H A D | selftest.sml | 2 val _ = tprint "Test loadPath initialisation over multiple INCLUDES links"
|
/seL4-l4v-master/HOL4/tools/Holmake/tests/badincludes/ |
H A D | selftest.sml | 29 val _ = inDir "dir1" (t "Bad INCLUDES line in a Holmakefile") []
|
/seL4-l4v-master/HOL4/tools/Holmake/mosml/ |
H A D | HM_BaseEnv.sml | 19 [VREF ("patsubst %,-I %,$(INCLUDES) $(PREINCLUDES)")]),
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | HM_BaseEnv.sml | 19 \ $(INCLUDES) $(PREINCLUDES)")]),
|
H A D | genscriptdep.sml | 23 envlist "PRE_INCLUDES" @ envlist "INCLUDES"
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | Makefile.in | 237 CPPASCOMPILE = $(CCAS) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ 241 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ 247 CXXCOMPILE = $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) \ 251 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ 265 COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ 269 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
|
/seL4-l4v-master/HOL4/developers/ |
H A D | prehol.sml | 199 val hmake_includes = envlist "INCLUDES" 204 (print "[extending loadPath with Holmakefile INCLUDES variable]\n";
|
/seL4-l4v-master/HOL4/polyml/libpolymain/ |
H A D | Makefile.in | 162 COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ 166 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
|
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 79 INCLUDES = [ variable 977 result.append('\n'.join(['#include <%s>' % include for include in INCLUDES]))
|
H A D | bitfield_gen.py | 56 INCLUDES = { variable 2664 choices=list(INCLUDES.keys())) 2893 INCLUDES[options.environment])), file=out_file)
|
/seL4-l4v-master/seL4/libsel4/tools/ |
H A D | syscall_stub_gen.py | 79 INCLUDES = [ variable 977 result.append('\n'.join(['#include <%s>' % include for include in INCLUDES]))
|
H A D | bitfield_gen.py | 56 INCLUDES = { variable 2664 choices=list(INCLUDES.keys())) 2893 INCLUDES[options.environment])), file=out_file)
|
/seL4-l4v-master/seL4/tools/ |
H A D | bitfield_gen.py | 56 INCLUDES = { variable 2664 choices=list(INCLUDES.keys())) 2893 INCLUDES[options.environment])), file=out_file)
|
/seL4-l4v-master/HOL4/polyml/ |
H A D | Makefile.in | 188 COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \ 192 $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \
|
/seL4-l4v-master/HOL4/Manual/Description/ |
H A D | misc.tex | 285 The right approach when a development spans multiple directories is to indicate that there is a dependency on other directories by using the \texttt{-I} flag, or (better) the \texttt{INCLUDES} variable in a \texttt{Holmakefile}. 286 \holmake{} requires that, just as files must have an acyclic dependency graph, the directories containing those files must have a compatible, and acyclic, \texttt{INCLUDES} graph. 287 With \texttt{INCLUDES} information to hand, \holmake{} will process the entire \texttt{INCLUDES} graph, looking throughout the graph for theory files that the current directory may depend on, and rebuilding those remote targets as necessary. 598 If defined, the \texttt{INCLUDES} variable is used to add directories to the list of directories consulted when files are compiled and linked. 604 By default, directories specified in the \texttt{INCLUDES} and \texttt{PRE\_INCLUDES} directory are also built by \holmake{} before it attempts to build in the current directory. 849 [extending loadPath with Holmakefile INCLUDES variable]
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | misc.tex | 253 However, one can indicate that there is a dependency on other directories by using the \texttt{-I} flag, or the \texttt{INCLUDES} variable in a \texttt{Holmakefile}. 544 If defined, the \texttt{INCLUDES} variable is used to add directories to the list of directories consulted when files are compiled and linked. 550 By default, directories specified in the \texttt{INCLUDES} and \texttt{PRE\_INCLUDES} directory are also built by \holmake{} before it attempts to build in the current directory. 772 [extending loadPath with Holmakefile INCLUDES variable]
|
/seL4-l4v-master/HOL4/tools/ |
H A D | buildutils.sml | 454 {includes = envlist "PRE_INCLUDES" @ envlist "INCLUDES",
|