diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/pdp-config | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/bin/pdp-config b/bin/pdp-config deleted file mode 100644 index 1e29f99..0000000 --- a/bin/pdp-config +++ /dev/null @@ -1,39 +0,0 @@ -#!/bin/sh - -prefix=/usr/local -version=0.12.4 - -usage="\ -Usage: pdp-config [--version] [--cflags] [--libdir]" - -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 - -n) - NEWLINE="-n" - ;; - --libdir) - echo $NEWLINE $prefix/lib/scaf - ;; - --version) - echo $NEWLINE $version - ;; - --cflags) - echo $NEWLINE -I$prefix/include/pdp - ;; - *) - echo "${usage}" 1>&2 - exit 1 - ;; - esac - shift -done |