diff options
Diffstat (limited to 'libs/ode-0.16.1/ode-config.in')
-rw-r--r-- | libs/ode-0.16.1/ode-config.in | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/libs/ode-0.16.1/ode-config.in b/libs/ode-0.16.1/ode-config.in new file mode 100644 index 0000000..78fa45e --- /dev/null +++ b/libs/ode-0.16.1/ode-config.in @@ -0,0 +1,53 @@ +#!/bin/sh + +prefix=@prefix@ +exec_prefix=@exec_prefix@ +exec_prefix_set=no + +usage="\ +Usage: ode-config [--prefix[=DIR]] [--exec-prefix[=DIR]] [--version] [--cflags] [--libs]" + +if test $# -eq 0; then + echo "${usage}" 1>&2 + exit 1 +fi + +while test $# -gt 0; do + case "$1" in + -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;; + *) optarg= ;; + esac + + case $1 in + --prefix=*) + prefix=$optarg + if test $exec_prefix_set = no ; then + exec_prefix=$optarg + fi + ;; + --prefix) + echo $prefix + ;; + --exec-prefix=*) + exec_prefix=$optarg + exec_prefix_set=yes + ;; + --exec-prefix) + echo $exec_prefix + ;; + --version) + echo @ODE_VERSION@ + ;; + --cflags) + echo -I@includedir@ + ;; + --libs) + echo -L@libdir@ -lode + ;; + *) + echo "${usage}" 1>&2 + exit 1 + ;; + esac + shift +done |