#! /bin/sh usage() { cat <&2 fi #Check if ISE_LIBRARY is defined, if not we use ISE_EIFFEL. if [ -z "$ISE_LIBRARY" ]; then ISE_LIBRARY=$ISE_EIFFEL fi while test $# -gt 0; do case $1 in --object) echo $ISE_LIBRARY/library/vision2/spec/$ISE_PLATFORM/lib/gtk_eiffel.o ;; --library) echo $ISE_LIBRARY/library/vision2/spec/$ISE_PLATFORM/lib/load_pixmap.o -L/usr/X11R6/lib -lXtst `gtk-config --libs $thread_string` $ISE_LIBRARY/C_library/libpng/libpng.a $ISE_LIBRARY/C_library/zlib/libz.a ;; --threads) thread_string=gthread ;; --include_path) echo `gtk-config --cflags $thread_string` ;; *) usage 1 1>&2 ;; esac shift done