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-r5904/scripts/aspcud.sh
===================================================================
--- aspcud-r5904.orig/scripts/aspcud.sh	2012-10-24 22:43:50.000000000 +0200
+++ aspcud-r5904/scripts/aspcud.sh	2012-10-29 13:31:20.000000000 +0100
@@ -3,11 +3,12 @@
 clasp_bin=clasp
 unclasp_bin=unclasp
 gringo_bin=gringo
-cudf2lp_bin=cudf2lp
+cudf2lp_bin=/usr/lib/aspcud/bin/cudf2lp
+sharedir=/usr/share/aspcud
 
 function enc()
 {
-	for x in "." "$base" "$base/encodings"; do
+	for x in "." "$sharedir/encodings"; do
 		[[ -e "$x/$1" ]] && { echo "$x/$1"; return 0; }
 	done
 	echo "$x"
