Searched refs:subdir (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/tests/theorytarget/
H A Dselftest.sml3 val _ = tprint "Checking 'Holmake fooTheory' in subdir"
5 val _ = OS.FileSys.chDir "subdir"
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in90 subdir = modules
348 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
349 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
386 for subdir in $$list; do \
387 echo "Making $$target in $$subdir"; \
388 if test "$$subdir" = "."; then \
394 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
416 list='$(SUBDIRS)'; for subdir in $$list; do \
417 if test "$$subdir" = .; then :; else \
418 test ! -f $$subdir/TAG
[all...]
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in105 subdir = .
738 for subdir in $$list; do \
739 echo "Making $$target in $$subdir"; \
740 if test "$$subdir" = "."; then \
746 ($(am__cd) $$subdir && $(MAKE) $(AM_MAKEFLAGS) $$local_target) \
768 list='$(SUBDIRS)'; for subdir in $$list; do \
769 if test "$$subdir" = .; then :; else \
770 test ! -f $$subdir/TAGS || \
771 set "$$@" "$$include_option=$$here/$$subdir/TAGS"; \
811 *) sdir=$(subdir)/
[all...]
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in91 subdir = libpolymain
375 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
376 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
506 *) sdir=$(subdir)/$(srcdir) ;; \
510 echo "$(subdir)/$$i"; \
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in90 subdir = modules/IntInfAsInt
287 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
288 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in98 subdir = libpolyml
597 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles)'; \
598 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__maybe_remake_depfiles);; \
610 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
827 *) sdir=$(subdir)/$(srcdir) ;; \
831 echo "$(subdir)/$$i"; \

Completed in 54 milliseconds