]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/lablgtk.in
- DoubleTypeInference.does_not_occur exposed
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / lablgtk.in
1 #!/bin/sh
2
3 thread="no"
4
5 case $1 in
6 -help)
7     echo "Usage: lablgtk [-thread] <options> [script-file]"
8     echo "  -thread  use the threaded version of the toplevel"
9     ;;
10 -thread)
11     thread=yes
12     shift
13     ;;
14 esac
15
16 if test $thread = yes; then
17     toplevel="@INSTALLDIR@/lablgtktop_t -I @LIBDIR@/threads"
18 else
19     toplevel=@INSTALLDIR@/lablgtktop
20 fi
21
22 exec $toplevel -w s \
23                -I @LABLGLDIR@ \
24                -I @INSTALLDIR@ $*