[opam-devel] Apscud on osx < 10.9 (was Re: aspcud 1.9.0 packages on Archlinux)
Roberto Di Cosmo
roberto at dicosmo.org
Fri Mar 28 01:23:05 GMT 2014
Hi Louis,
I am actually unable to reproduce Daniel's problem with a broken
aspcud: the fallback to the internal heuristics seems to work well
here:
$# put a fake aspcud that always fail in /tmp
$ cat > /tmp/aspcud
#!/bin/sh
cat $1 > /dev/null
echo "FAIL" > $2
exit 1
$ chmod +x /tmp/aspcud
$ git checkout 79472ad3182993df854f0f3c2e9334bd39433e3d
$ make
...
$ PATH=/tmp:$PATH _obuild/opam/opam.asm update
default Downloading https://opam.ocaml.org/urls.txt
Updating ~/.opam/repo/compiler-index ...
Updating ~/.opam/compilers/ ...
Updating ~/.opam/repo/package-index ...
Updating ~/.opam/packages/ ...
Updating the cache of metadata (~/.opam/state.cache) ...
[WARNING] External solver failed with command 'aspcud
"/tmp/tmp.apt-cudf.wIabhR3CuA/in-cudf"
"/tmp/tmp.apt-cudf.wIabhR3CuA/out-cudf"
"-removed,-notuptodate,-changed"' failed with code 1 Request saved to
"/home/dicosmo/.opam/log/solver-error-15843-1.cudf"
Falling back to the internal heuristic.
1 to install | 6 to reinstall | 5 to upgrade | 0 to downgrade | 0 to remove
You can now run 'opam upgrade' to upgrade your system.
I notice, though, that in Daniel's cudf file the request is empty:
look at the last lines
$ tail /tmp/solver-error-76189-1.cudf
opam-version: 0.6.0
package: facebook-sdk
version: 1
depends: yojson , uri , ssl , oasis , lwt , cohttp >= 17 , calendar ,
bolt , atdgen
conflicts: facebook-sdk
opam-name: facebook-sdk
opam-version: 0.2.12
request: opam
<<<<<<<<<<<<<<<====== there is no install/upgrade here!
Maybe this can help?
--
Roberto
P.S.: by the way get-git-id was not working in detached states, I pushed a fix
2014-03-27 14:46 GMT+01:00 Louis Gesbert <louis.gesbert at ocamlpro.com>:
> I think our best move on this would be to provide the cudf file + the aspcud output when this happens, and ask to report. With my latest PR, opam will stop so this will be more visible anyway (just suggests to retry with `--use-external-solver` at the moment)
>
> Any better idea ? This would have saved quite a bit of time on this.
>
> Le jeudi 27 mars 2014, 14:21:11 Pietro Abate a écrit :
>> i've seen this message before. It's probably due to a mismatch between
>> the version of aspcud and the version of clasp/gringo installed on
>> your system ... Debian packages take care of these dependencies, I'm not sure
>> about the package manager on your platform.
>>
>> p
>>
>>
>> On 27/03/14 14:11, Daniel Bünzli wrote:
>> > Le jeudi, 27 mars 2014 à 13:52, Roberto Di Cosmo a écrit :
>> > > Just tested with your cudf file, and aspcud works perfectly here (Debian/amd64),
>> > > so it's probably an issue with the aspcud port on your platform
>> > >
>> > > $ aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"
>> > This invocation gives that here:
>> >
>> > > aspcud /tmp/solver-error-76189-1.cudf /tmp/sol "-count(removed),-notuptodate(solution),-count(new)"
>> > *** ERROR: (clasp): In context '<clasp>': unknown option: 'opt-hierarch'
>> > *** Info : (clasp): Try '--help' for usage information
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:57-76: warning: atom is undefined:
>> > recommends(P,V,D,W)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:150:78-92: warning: atom is undefined:
>> > installed(P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:57-75: warning: atom is undefined:
>> > attribute(P,V,A,X)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:148:77-91: warning: atom is undefined:
>> > installed(P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:146:64-78: warning: atom is undefined:
>> > installed(P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:305:45-57: warning: atom is undefined:
>> > unit(P,V,in)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:230:79-91: warning: atom is undefined:
>> > unit(P,V,in)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:36:14-27: warning: atom is undefined:
>> > clique(#X0,#P1,#P2)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:39:37-50: warning: atom is undefined:
>> > clique(I,P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:39:52-64: warning: atom is undefined:
>> > unit(P,V,in)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:38:52-65: warning: atom is undefined:
>> > clique(I,P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:38:37-49: warning: atom is undefined:
>> > unit(P,V,in)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:144:42-56: warning: atom is undefined:
>> > installed(P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:141:16-30: warning: atom is undefined:
>> > installed(P,V)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:103:79-91: warning: atom is undefined:
>> > unit(P,V,in)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:161:63-81: warning: atom is undefined:
>> > attribute(P,V,A,X)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:164:42-61: warning: atom is undefined:
>> > recommends(P,V,D,W)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:106:49-65: warning: atom is undefined:
>> > not unit(P,V,in)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:138:57-76: warning: atom is undefined:
>> > recommends(P,V,D,W)
>> > /usr/local/Cellar/aspcud/1.8.0/share/encodings/misc2012.lp:109:50-68: warning: atom is undefined:
>> > attribute(P,V,A,X)
>> >
>> >
>> >
>> >
>> > _______________________________________________
>> > opam-devel mailing list
>> > opam-devel at lists.ocaml.org
>> > http://lists.ocaml.org/listinfo/opam-devel
>> _______________________________________________
>> opam-devel mailing list
>> opam-devel at lists.ocaml.org
>> http://lists.ocaml.org/listinfo/opam-devel
>
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
--
Roberto Di Cosmo
------------------------------------------------------------------
Professeur En delegation a l'INRIA
PPS E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW : http://www.dicosmo.org
Case 7014 Tel : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann
F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo
FRANCE. Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3
More information about the opam-devel
mailing list