| /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",
|