On Saturday, September 01, 2012 10:19:16 AM Ralf Treinen wrote:
> Dear Roland,
> 
> (this is about the aspcud version in debian, not the MISC competition!)
> 
> aspcud (the version as of 2011/03/17) does not work with clasp 2.1, see
> 
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=686356
> 
> Do you know how to fix this?
> 
> The situation in debian is as follows:
> - debian sid (=unstable) now contains clasp 2.1, so we need to fix aspcd!
> - debian wheezy (=testing) is frozen since we hope to release soon. That
> means basically only patches for release-critical bugs are accepted for
> wheezy, no new upstream version. Wheezy will release (AFAICS) with clasp
> 2.0, but since aspcud currently depends on clasp >= 2.0 this may cause
> problems later when a user tries to partially upgrade his system. I see for
> wheezy two possible solutions:
> 
> [1] patch aspcud so that it will work with both clasp 2.0 and clasp 2.1,
>     if this is easily possible (with a small patch to the source code of
>     aspcud).
> [2] if [1] is not feasable then I can just fix the wheezy version of
>     aspcud by strengthening the dependency on clasp to >=2.0 && < 2.1.
> 
> Do you think that [1] is possible?

In fact this is trivial. It is just an option that has slightly changed and is  
no longer recognized by clasp-2.1. Benjamin takes the version numbering 
seriously: if the minor or major version changes, then there might be changes 
that break backwards compatibility. It is better to cross-check in this case - 
just drop me an email.

Btw. our latest competition submission should (hopefully) be much better than 
the old aspcud and I guess we can drop clasp 2.0 support then. 

Regards, Roland
diff -rup aspcud_2011.03.17.dfsg.orig/scripts/aspcud.sh 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	2012-09-01 13:00:35.000000000 +0200
@@ -62,7 +62,11 @@ base="$(dirname "$(readlink -f "$0")")"
 PATH=".:$base:$base/../build/release/bin:$PATH"
 
 # default options
-clasp_opts_def=( "--opt-he=1" "--sat" "--restarts=32" "--heu=VSIDS" "--restart-o" "--opt-hi=2" )
+if clasp -v | grep -q "clasp 2.0"; then
+    clasp_opts_def=( "--opt-he=1" "--sat" "--restarts=32" "--heu=VSIDS" "--restart-o" "--opt-hi=2" )
+else
+    clasp_opts_def=( "--opt-he=1" "--sat" "--restarts=L,32" "--heu=VSIDS" "--restart-o" "--opt-hi=2" )
+fi
 gringo_opts_def=( "$(enc configuration.lp)" "$(enc optimize-define.lp)" )
 
 cudf_opts=( )

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to