#!/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 --library) if echo "$ISE_PLATFORM" | grep "solaris" >/dev/null 2>&1; then echo -ldl fi if echo "$ISE_PLATFORM" | grep "linux" >/dev/null 2>&1; then echo -ldl fi ;; --include_path) ;; *) usage 1 1>&2 ;; esac shift done