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

/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in959 dc_install_base=`$(am__cd) $(distdir)/_inst && pwd | sed -e 's,^[^:\\/]:[\\/],/,'` \
966 --srcdir=../.. --prefix="$$dc_install_base" \
973 && $(MAKE) $(AM_MAKEFLAGS) distuninstallcheck_dir="$$dc_install_base" \
975 && chmod -R a-w "$$dc_install_base" \

Completed in 30 milliseconds