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

/hets/utils/
H A Dadd-dir-tree-to-hets-lib.sh11 find $PWD -depth -type d ! -path '*/.*' -print | while read dir
/hets/SoftFOL/tests/
H A Dcheck.sh6 export LOG=$PWD/spass_`date "+%a_%b_%d_%H:%M:%S_%Z_%Y"`.log
/hets/utils/ubuntu/
H A Dupload.sh74 export SCRIPT_PATH=$PWD
/hets/HolLight/OcamlTools/
H A DMakefile4 HETS_HOLLIGHT_TOOLS=$(PWD)/exportTools/
/hets/utils/header_script/
H A Dheader_script22 LOGFILE=$PWD/script_log
/hets/
H A DMakefile546 GHC_BASEDIR := $(shell cd $(GHC_LIBDIR)/../.. && printf "$${PWD}")
759 -@HWD=$${PWD} ; X=`echo $(PFE_BASE)| cut -f1 -d/`; \
763 PFEDIR=$${PWD} ; cd .. ; \
816 ln $${PWD}/tmp/$(ARC_BNAME).tar.xz $${FNAME} 2>/dev/null || \
817 mv -f $${PWD}/tmp/$(ARC_BNAME).tar.xz $${FNAME} ; \
827 $(shell [ -n "$$DEB_BUILD_ARCH" ] && printf "$$PWD/debian/root")
/hets/debian/
H A Drules546 GHC_BASEDIR := $(shell cd $(GHC_LIBDIR)/../.. && printf "$${PWD}")
759 -@HWD=$${PWD} ; X=`echo $(PFE_BASE)| cut -f1 -d/`; \
763 PFEDIR=$${PWD} ; cd .. ; \
816 ln $${PWD}/tmp/$(ARC_BNAME).tar.xz $${FNAME} 2>/dev/null || \
817 mv -f $${PWD}/tmp/$(ARC_BNAME).tar.xz $${FNAME} ; \
827 $(shell [ -n "$$DEB_BUILD_ARCH" ] && printf "$$PWD/debian/root")

Completed in 3039 milliseconds