From 7209119cbca0934a3ac4b80da2de6869f54624eb Mon Sep 17 00:00:00 2001 From: cas Date: Wed, 18 Jul 2001 18:23:35 +0000 Subject: [PATCH] Initial revision --- src/WOKsite/wok.bat | 10 ++++++++++ src/WOKsite/wok.csh | 43 +++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 53 insertions(+) create mode 100755 src/WOKsite/wok.bat create mode 100755 src/WOKsite/wok.csh diff --git a/src/WOKsite/wok.bat b/src/WOKsite/wok.bat new file mode 100755 index 0000000..f8890ff --- /dev/null +++ b/src/WOKsite/wok.bat @@ -0,0 +1,10 @@ +set TCLHOME=w:/TCL/TCL8.3/tcl8.3.2 +set TCLBIN=%TCLHOME%/win/Release +set WOKHOME=. +set PATH=D%TCLBIN%;%WOKHOME%/lib/wnt;%PATH% + +rem If Not Defined TCL_RCFILE set TCL_RCFILE=%WOKHOME%\.tclshrc + + +%TCLBIN%/tclsh.exe + diff --git a/src/WOKsite/wok.csh b/src/WOKsite/wok.csh new file mode 100755 index 0000000..16445f6 --- /dev/null +++ b/src/WOKsite/wok.csh @@ -0,0 +1,43 @@ +#!/bin/csh -f +# +# Use this file ONLY if you need to launch different version of Wok +# or if you want to adress different Wok entities. +# If you use this file , the 2 first arguments are mandatory. +# +# +set noglob ; set narg = $#argv +if ( $narg > 3 || $narg == 1 || $narg == 0 ) then + echo "Usage : wok.csh wok_home wok_entities [tclhome] " + echo " wok_home(required) is the path of directory for wok shareable (Ex: /lib/sun) " + echo " wok_entities(required) is the path of an ATLIST file." + echo " tclhome(optional) is the home directory of a Tcl distribution." + echo " " + exit +endif + +if ( $narg == 2 ) then + set wokhome=$argv[1] + setenv WOK_ROOTADMDIR $argv[2] +endif + + +set TCLHOME=/usr +if ( $narg == 3 ) then + set wokhome=$argv[1] + setenv WOK_ROOTADMDIR $argv[2] + set TCLHOME=$argv[3] +endif + + +set TCLLIB=${TCLHOME}/lib +set TCLBIN=${TCLHOME}/bin +if ( $?TCLLIBPATH ) then + unsetenv TCLLIBPATH +endif +if ( ! ($?LD_LIBRARY_PATH) ) then + setenv LD_LIBRARY_PATH "" +endif +setenv LD_LIBRARY_PATH "${TCLLIB}:${wokhome}:${LD_LIBRARY_PATH}:" +${TCLBIN}/tclsh + + -- 2.39.5