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

/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in261 MKDIR_P = @MKDIR_P@
397 echo " $(MKDIR_P) '$(DESTDIR)$(libdir)'"; \
398 $(MKDIR_P) "$(DESTDIR)$(libdir)" || exit 1; \
435 @$(MKDIR_P) $(@D)
530 */*) $(MKDIR_P) `echo "$$dist_files" | \
557 test -z "$$dir" || $(MKDIR_P) "$$dir"; \
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in179 MKDIR_P = @MKDIR_P@
323 */*) $(MKDIR_P) `echo "$$dist_files" | \
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in352 MKDIR_P = @MKDIR_P@
543 echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \
544 $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \
600 echo " $(MKDIR_P) '$(DESTDIR)$(bindir)'"; \
601 $(MKDIR_P) "$(DESTDIR)$(bindir)" || exit 1; \
641 @$(MKDIR_P) $(@D)
682 echo " $(MKDIR_P) '$(DESTDIR)$(man1dir)'"; \
683 $(MKDIR_P) "$(DESTDIR)$(man1dir)" || exit 1; \
838 */*) $(MKDIR_P) `ech
[all...]
H A Dconfigure755 MKDIR_P
3261 if test -z "$MKDIR_P"; then
3289 MKDIR_P="$ac_cv_path_mkdir -p"
3292 # value for MKDIR_P within a source directory, because that will
3295 MKDIR_P="$ac_install_sh -d"
3298 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $MKDIR_P" >&5
3299 $as_echo "$MKDIR_P" >&6; }
3476 mkdir_p='$(MKDIR_P)'
23103 MKDIR_P='$MKDIR_P'
[all...]
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in239 MKDIR_P = @MKDIR_P@
477 */*) $(MKDIR_P) `echo "$$dist_files" | \
503 || $(MKDIR_P) "$(distdir)/$$subdir" \
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in367 MKDIR_P = @MKDIR_P@
621 echo " $(MKDIR_P) '$(DESTDIR)$(libdir)'"; \
622 $(MKDIR_P) "$(DESTDIR)$(libdir)" || exit 1; \
714 @$(MKDIR_P) $(@D)
770 echo " $(MKDIR_P) '$(DESTDIR)$(pkgconfigdir)'"; \
771 $(MKDIR_P) "$(DESTDIR)$(pkgconfigdir)" || exit 1; \
851 */*) $(MKDIR_P) `echo "$$dist_files" | \
878 test -z "$$dir" || $(MKDIR_P) "$$dir"; \

Completed in 85 milliseconds