4 exec_prefix
=@exec_prefix@
8 Usage: ode-config [--prefix[=DIR]] [--exec-prefix[=DIR]] [--version] [--cflags] [--libs]"
10 if test $# -eq 0; then
15 while test $# -gt 0; do
17 -*=*) optarg
=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
24 if test $exec_prefix_set = no
; then
42 echo -I@includedir@ @ODE_PRECISION@