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=( )
signature.asc
Description: This is a digitally signed message part.