adding ode source to /libraries

1 files changed, 56 insertions, 0 deletions

diff --git a/libraries/ode-0.9\/ode-config.in b/libraries/ode-0.9\/ode-config.in
new file mode 100755
index 0000000..d04bd01
--- /dev/null
+++ b/libraries/ode-0.9\/ode-config.in
@@ -0,0 +1,56 @@
+#!/bin/sh
+
+prefix=@prefix@
+exec_prefix=@exec_prefix@
+exec_prefix_set=no
+
+usage="\
+Usage: ode-config [--prefix[=DIR]] [--exec-prefix[=DIR]] [--version] [--cflags] [--libs] [--shared-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_RELEASE@
+      ;;
+    --cflags)
+      echo  -I@includedir@
+      ;;
+    --libs)
+      echo  -L@libdir@ -lode
+      ;;
+    --shared-libs)
+      echo  -L@prefix@/lib -lode@so_ext@
+      ;;
+    *)
+      echo "${usage}" 1>&2
+      exit 1
+      ;;
+  esac
+  shift
+done