summaryrefslogtreecommitdiff
path: root/ptranslate/configure
diff options
context:
space:
mode:
authorLuke Shumaker <luke@HP-dv6426us-u904.(none)>2009-10-25 04:46:34 -0400
committerLuke Shumaker <lukeshu@sbcglobal.net>2015-06-26 00:30:17 -0600
commit700c66f5dbd691559b54e23fd50a90e07135189f (patch)
tree6ac8282abbbcdc5e240993f259ac97b76a1df0c3 /ptranslate/configure
parent1e17c83984fa9d8588c467e9528f3eb47f6aca43 (diff)
it seems the reason pkgthing was having problems it it had its own git repo
Diffstat (limited to 'ptranslate/configure')
-rwxr-xr-xptranslate/configure91
1 files changed, 91 insertions, 0 deletions
diff --git a/ptranslate/configure b/ptranslate/configure
new file mode 100755
index 0000000..11da35b
--- /dev/null
+++ b/ptranslate/configure
@@ -0,0 +1,91 @@
+#!/usr/bin/env bash
+name='configure' # Luke's configureation script
+#version='1.0'
+# Copyright (C) 2009 Luke Shumaker
+#
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; see the file COPYING.
+# If not, see <http://www.gnu.org/licenses>.
+
+ _prefix='/usr/local'
+_exec_prefix='$(prefix)'
+ _bindir='$(exec_prefix)/bin'
+ _sbindir='$(exec_prefix)/sbin'
+ _libexecdir='$(exec_prefix)/libexec'
+ _srcdir=$(readlink -f `dirname "$0"`)
+vars='prefix exec_prefix bindir sbindir libexecdir srcdir'
+if [ -f "$_srcdir/config" ]; then . "$_srcdir/config"; fi
+
+error() {
+ echo "$name: $1" >> /dev/stderr
+ exit 1
+}
+
+args=`getopt -n "$name" -o "${sopt}" -l "${lopt}${vars}" -- "$@"`
+if [ $? == 0 ]; then
+ set -- $args
+ while [ $# -gt 0 ]; do case "$1" in
+ --) break;;
+ --*)
+ var0="${1/--/}"
+ match='false'
+ for var1 in $vars; do
+ if [ "$var0" == "$var1" ]; then
+ match='true'
+ break;
+ fi
+ done
+ if [ "$match" == 'true' ]; then
+ val="$2"
+ eval _$var0=$val
+ else
+ error "option \`$1' not recognized";
+ fi
+ :;;
+ *) error "option \`$1' not recognized";;
+ esac
+ shift
+ done
+else
+ error 'unable to parse command line arguments'
+fi
+
+echo '#!/bin/sed -f' > var.sed
+for var in $vars; do
+ var1="_$var"
+ val=${!var1}
+
+ # GNU bash optimized version
+ var=${var//':'/'\:'}
+ val=${val//':'/'\:'}
+ # POSIX version
+ #var=`echo "$var" | sed 's@:@\\:@g'`
+ #val=`echo "$val" | sed 's@:@\\:@g'`
+
+ echo "s:@$var@:$val:g" >> var.sed
+done
+
+Makefiles="`find "${_srcdir}/" -type f -name Makefile.in`"
+Makefiles="$Makefiles `find "${_srcdir}/" -type f -name *.mk.in`"
+for orig in $Makefiles; do
+ new=${orig/%.in/}
+ new=${new/#$_srcdir\//}
+ mkdir -p `dirname "$new"`
+ sed -f var.sed "${orig}" | sed \
+-e '19 a# DO NOT edit this file, it has been generated by configure, and will' \
+-e "19 a# be overwritten. Instead, edit the file \``basename ${orig}`'" \
+-e "19 a
+ " > "${new}"
+done
+rm var.sed
+