Searched refs:dist_files (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in319 dist_files=`for file in $$list; do echo $$file; done | \
322 case $$dist_files in \
323 */*) $(MKDIR_P) `echo "$$dist_files" | \
327 for file in $$dist_files; do \
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in473 dist_files=`for file in $$list; do echo $$file; done | \
476 case $$dist_files in \
477 */*) $(MKDIR_P) `echo "$$dist_files" | \
481 for file in $$dist_files; do \
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in526 dist_files=`for file in $$list; do echo $$file; done | \
529 case $$dist_files in \
530 */*) $(MKDIR_P) `echo "$$dist_files" | \
534 for file in $$dist_files; do \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in847 dist_files=`for file in $$list; do echo $$file; done | \
850 case $$dist_files in \
851 */*) $(MKDIR_P) `echo "$$dist_files" | \
855 for file in $$dist_files; do \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in834 dist_files=`for file in $$list; do echo $$file; done | \
837 case $$dist_files in \
838 */*) $(MKDIR_P) `echo "$$dist_files" | \
842 for file in $$dist_files; do \

Completed in 101 milliseconds