Merged: olehe_derevenko#1917: Changed: Private definitions moved from public <ode...
[ode.git] / ode-config.in
blob78fa45e42d6b4972348475226dff00dcf6f065de
1 #!/bin/sh
3 prefix=@prefix@
4 exec_prefix=@exec_prefix@
5 exec_prefix_set=no
7 usage="\
8 Usage: ode-config [--prefix[=DIR]] [--exec-prefix[=DIR]] [--version] [--cflags] [--libs]"
10 if test $# -eq 0; then
11 echo "${usage}" 1>&2
12 exit 1
15 while test $# -gt 0; do
16 case "$1" in
17 -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
18 *) optarg= ;;
19 esac
21 case $1 in
22 --prefix=*)
23 prefix=$optarg
24 if test $exec_prefix_set = no ; then
25 exec_prefix=$optarg
28 --prefix)
29 echo $prefix
31 --exec-prefix=*)
32 exec_prefix=$optarg
33 exec_prefix_set=yes
35 --exec-prefix)
36 echo $exec_prefix
38 --version)
39 echo @ODE_VERSION@
41 --cflags)
42 echo -I@includedir@
44 --libs)
45 echo -L@libdir@ -lode
48 echo "${usage}" 1>&2
49 exit 1
51 esac
52 shift
53 done