Author: Ralf Treinen <treinen@debian.org>
Description: Patch various pathes:
 - encodings of optimisation critera: subdirectory in /usr/share
 - cudf2lp: subdirectory in /usr/lib


Index: aspcud-2011.03.17.dfsg/scripts/aspcud.sh
===================================================================
--- aspcud-2011.03.17.dfsg.orig/scripts/aspcud.sh	2011-03-14 17:52:27.000000000 +0100
+++ aspcud-2011.03.17.dfsg/scripts/aspcud.sh	2011-04-22 20:48:08.000000000 +0200
@@ -1,5 +1,8 @@
 #!/bin/bash
 
+libdir=/usr/lib/aspcud/
+sharedir=/usr/share/aspcud
+
 function usrtrap()
 {
 	kill $cudf_pid   2> /dev/null
@@ -9,7 +12,7 @@
 
 function enc()
 {
-	for x in "." "$base" "$base/encodings" "$base/../../Encodings"; do
+	for x in "." "$sharedir/encodings"; do
 		[[ -e "$x/$1" ]] && { echo "$x/$1"; return 0; }
 	done
 	echo "$x"
@@ -115,7 +118,7 @@
 clasp_pid=$!
 gringo  "${gringo_opts[@]}" > "$tmp/gringo_out" 2> "$tmp/gringo_err" - < "$tmp/cudf_out" &
 gringo_pid=$!
-cudf2lp "${cudf_opts[@]}"   > "$tmp/cudf_out"   2> "$tmp/cudf_err"   - < "$1" &
+$libdir/bin/cudf2lp "${cudf_opts[@]}"   > "$tmp/cudf_out"   2> "$tmp/cudf_err"   - < "$1" &
 cudf_pid=$!
 
 trap usrtrap USR1 TERM INT
