]> OCCT Git - occt-wok.git/commitdiff
Initial revision
authorcas <cas@opencascade.com>
Wed, 18 Jul 2001 18:23:35 +0000 (18:23 +0000)
committercas <cas@opencascade.com>
Wed, 18 Jul 2001 18:23:35 +0000 (18:23 +0000)
src/WOKsite/wok.bat [new file with mode: 0755]
src/WOKsite/wok.csh [new file with mode: 0755]

diff --git a/src/WOKsite/wok.bat b/src/WOKsite/wok.bat
new file mode 100755 (executable)
index 0000000..f8890ff
--- /dev/null
@@ -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 (executable)
index 0000000..16445f6
--- /dev/null
@@ -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: <root>/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
+
+