Searched refs:MKDIR_P (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A DMakefile.in493 MKDIR_P = @MKDIR_P@
780 echo " $(MKDIR_P) '$(DESTDIR)$(toolexeclibdir)'"; \
781 $(MKDIR_P) "$(DESTDIR)$(toolexeclibdir)" || exit 1; \
806 @$(MKDIR_P) src
809 @$(MKDIR_P) src/$(DEPDIR)
818 @$(MKDIR_P) src/mips
821 @$(MKDIR_P) src/mips/$(DEPDIR)
830 @$(MKDIR_P) src/bfin
833 @$(MKDIR_P) sr
[all...]
H A Dconfigure802 MKDIR_P
3285 if test -z "$MKDIR_P"; then
3313 MKDIR_P="$ac_cv_path_mkdir -p"
3316 # value for MKDIR_P within a source directory, because that will
3319 MKDIR_P="$ac_install_sh -d"
3322 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MKDIR_P" >&5
3323 $as_echo "$MKDIR_P" >&6; }
3500 mkdir_p='$(MKDIR_P)'
20172 MKDIR_P='$MKDIR_P'
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in240 MKDIR_P = @MKDIR_P@
375 echo " $(MKDIR_P) '$(DESTDIR)$(includesdir)'"; \
376 $(MKDIR_P) "$(DESTDIR)$(includesdir)" || exit 1; \
453 */*) $(MKDIR_P) `echo "$$dist_files" | \
480 test -z "$$dir" || $(MKDIR_P) "$$dir"; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in223 MKDIR_P = @MKDIR_P@
357 echo " $(MKDIR_P) '$(DESTDIR)$(man3dir)'"; \
358 $(MKDIR_P) "$(DESTDIR)$(man3dir)" || exit 1; \
408 */*) $(MKDIR_P) `echo "$$dist_files" | \
435 test -z "$$dir" || $(MKDIR_P) "$$dir"; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in262 MKDIR_P = @MKDIR_P@
399 echo " $(MKDIR_P) '$(DESTDIR)$(libdir)'"; \
400 $(MKDIR_P) "$(DESTDIR)$(libdir)" || exit 1; \
523 */*) $(MKDIR_P) `echo "$$dist_files" | \
550 test -z "$$dir" || $(MKDIR_P) "$$dir"; \
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in181 MKDIR_P = @MKDIR_P@
323 */*) $(MKDIR_P) `echo "$$dist_files" | \
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in241 MKDIR_P = @MKDIR_P@
477 */*) $(MKDIR_P) `echo "$$dist_files" | \
503 || $(MKDIR_P) "$(distdir)/$$subdir" \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in376 MKDIR_P = @MKDIR_P@
631 echo " $(MKDIR_P) '$(DESTDIR)$(libdir)'"; \
632 $(MKDIR_P) "$(DESTDIR)$(libdir)" || exit 1; \
770 echo " $(MKDIR_P) '$(DESTDIR)$(pkgconfigdir)'"; \
771 $(MKDIR_P) "$(DESTDIR)$(pkgconfigdir)" || exit 1; \
895 */*) $(MKDIR_P) `echo "$$dist_files" | \
921 || $(MKDIR_P) "$(distdir)/$$subdir" \
948 test -z "$$dir" || $(MKDIR_P) "$$dir"; \
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in352 MKDIR_P = @MKDIR_P@
539 echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \
540 $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \
596 echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \
597 $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \
672 echo " $(MKDIR_P) '$(DESTDIR)$(man1dir)'"; \
673 $(MKDIR_P) "$(DESTDIR)$(man1dir)" || exit 1; \
825 */*) $(MKDIR_P) `echo "$$dist_files" | \
851 || $(MKDIR_P) "
[all...]
H A Dconfigure760 MKDIR_P
3270 if test -z "$MKDIR_P"; then
3298 MKDIR_P="$ac_cv_path_mkdir -p"
3301 # value for MKDIR_P within a source directory, because that will
3304 MKDIR_P="$ac_install_sh -d"
3307 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MKDIR_P" >&5
3308 $as_echo "$MKDIR_P" >&6; }
3485 mkdir_p='$(MKDIR_P)'
23185 MKDIR_P='$MKDIR_P'
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in196 MKDIR_P = @MKDIR_P@
460 */*) $(MKDIR_P) `echo "$$dist_files" | \

Completed in 84 milliseconds