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

/barrelfish-master/usr/eclipseclp/
H A DRUNME133 -f "$TCL_LIBRARY/init.tcl" ]
147 TCL_LIBRARY="$ecl_tcl_arch/lib/tcl$TCL_VERSION"
196 TCL_LIBRARY="$tcl_dir/tcl$TCL_VERSION"
197 [ -f "$TCL_LIBRARY/init.tcl" ] && break
204 #echo Found $TCL_LIBRARY and $TK_LIBRARY
275 ask "What is the Tcl library directory (.tcl files)" TCL_LIBRARY ""
276 [ -d "$TCL_LIBRARY" ] && break || echo "ERROR: No such directory: $TCL_LIBRARY"
278 TK_LIBRARY=`dirname $TCL_LIBRARY`/tk$TCL_VERSION
419 echo " TCL_LIBRARY
[all...]

Completed in 24 milliseconds