#! /bin/sh usage() { cat <&2 fi ISE_LIBRARIES=$ISE_EIFFEL while test $# -gt 0; do case $1 in --devel) ISE_LIBRARIES=$EIFFEL_SRC ;; --object) echo $ISE_LIBRARIES/library/vision2/spec/$ISE_PLATFORM/lib/gtk_eiffel.o -L/usr/X11R6/lib -lX11 -lXtst `pkg-config gtk+-2.0 --libs` ;; --include_path) echo `pkg-config gtk+-2.0 --cflags` ;; *) usage 1 1>&2 ;; esac shift done