search

ocaml / opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
https://opam.ocaml.org
Other
1.24k stars 358 forks source link

opam wants to install everything #1605

Closed edwintorok closed 10 years ago

edwintorok commented 10 years ago

I did an 'opam update' and got this: 144 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove

That looks suspicious, doing an 'opam upgrade' wants to do an install too (not a reinstall): [....]

$ opam --version 1.1.1

If I tell it to go ahead then it fails because ocamlfind is already installed. Some debug output:

00:00.001  001230  1230                    locking /home/edwin/.opam/lock
00:00.001  001230  FILE(config)            Read ~/.opam/config in 0.000s
00:00.001  001230  SYSTEM                  unlocking /home/edwin/.opam/lock (1230)
00:00.001  001230  SYSTEM                  rm /home/edwin/.opam/lock
00:00.001  001230  STATE                   LOAD-STATE(switch-lock)
00:00.001  001230  FILE(config)            Read ~/.opam/config in 0.000s
00:00.017  001230  STATE                   Loaded /home/edwin/.opam/state.cache in 0.016s
00:00.017  001230  FILE(aliases)           Read ~/.opam/aliases in 0.000s
00:00.019  001230  FILE(repo-config)       Read ~/.opam/repo/default/config in 0.000s
00:00.036  001230  FILE(repo-index)        Read ~/.opam/repo/package-index in 0.020s
00:00.036  001230  FILE(repo-index)        Read ~/.opam/repo/compiler-index in 0.000s
00:00.036  001230  FILE(pinned)            Read ~/.opam/system/pinned in 0.000s
00:00.037  001230  FILE(installed)         Read ~/.opam/system/installed in 0.000s
00:00.037  001230  FILE(installed.roots)   Read ~/.opam/system/installed.roots in 0.000s
00:00.044  001230  FILE(reinstall)         Cannot find /home/edwin/.opam/system/reinstall
00:00.044  001230  STATE                   ROOT      : /home/edwin/.opam
00:00.044  001230  STATE                   SWITCH    : system
00:00.044  001230  STATE                   COMPILER  : system
00:00.044  001230  STATE                   COMPILERS : { 3.11.2, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4.00.1+BER, 4.00.1+alloc-profiling, 4.00.1+annot, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+bin-ocp, 4.01.0+fp, 4.01.0+jocaml, 4.01.0+lsb, 4.01.0+musl, 4.01.0+musl+static, 4.01.0+open-types, 4.01.0beta1, 4.01.0beta1+no-camlp4, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0+trunk, 4.03.0+fp, 4.03.0+pr22, 4.03.0+pr24, 4.03.0+pr25, 4.03.0+pr26, 4.03.0+pr29, 4.03.0+pr30, 4.03.0+pr36, 4.03.0+pr37, 4.03.0+pr42, 4.03.0+pr43, 4.03.0+pr46, 4.03.0+pr51, 4.03.0+pr57, 4.03.0+pr63, 4.03.0+pr65, 4.03.0+pr68, 4.03.0+pr69, 4.03.0+pr71, 4.03.0+pr73, 4.03.0+pr76, 4.03.0+pr78, 4.03.0+pr79, 4.03.0+pr80, 4.03.0+pr81, 4.03.0+pr82, 4.03.0+pr83, 4.03.0+pr84, 4.03.0+pr88, 4.03.0+pr89, 4.03.0+pr90, 4.03.0+trunk, system }
00:00.044  001230  STATE                   REPOS     : { default }
00:00.044  001230  STATE                   PACKAGES  : 2559 packages
00:00.044  001230  STATE                   INSTALLED : { agrep.1.0, alt-ergo.0.95.2, async.111.25.00, async_extra.111.25.00, async_kernel.111.25.00, async_ssl.111.21.00, async_unix.111.25.00, atd.1.1.2, atdgen.1.3.1, base-bigarray.base, base-bytes.legacy, base-threads.base, base-unix.base, batteries.2.2.0, bin_prot.111.03.00, biniou.1.0.9, calendar.2.03.2, camlimages.4.1.1, camlp4.4.01.0, camomile.0.8.5, cmdliner.0.9.5, cohttp.0.11.2, comparelib.109.60.00, conduit.0.5.1, conf-gmp.1, conf-gnomecanvas.2, conf-gtksourceview.2, conf-libpcre.1, config-file.1.2, core.111.25.00, core_bench.109.58.01, core_kernel.111.25.00, cow.0.10.1, cppo.0.9.4, crunch.1.3.0, cryptokit.1.9, cstruct.1.4.0, csv.1.3.3, ctypes.0.3.3, cudf.0.6.3, custom_printf.111.25.00, datalog.0.5.1, dns.0.9.1, dose.3.1.2, dyntype.0.9.0, easy-format.1.0.2, enumerate.111.08.00, estring.1.3, extlib.1.6.1, ezjsonm.0.2.0, fieldslib.109.20.03, fileutils.0.4.4, freetennis.0.4.8, hardcaml.1.0.0, headache.1.03, herelib.109.35.02, higlo.0.3, io-page.1.1.1, iocamljs-kernel.0.4.4, ipaddr.2.5.0, js_of_ocaml.2.2, jsonm.0.9.1, lablgl.20120306, lablgtk.2.16.0, lambda-term.1.6, lwt.2.4.5, menhir.20130912, meta_conv.1.1.3, mirage.1.2.0, mirage-clock-unix.1.0.0, mirage-clock-xen.1.0.0, mirage-console-unix.1.0.0, mirage-console-xen.1.0.2, mirage-http.1.1.0, mirage-net-unix.1.1.1, mirage-net-xen.1.1.3, mirage-types.1.2.0, mirage-unix.1.1.0, mirage-xen.1.1.1, oasis.0.4.4, ocaml-data-notation.0.0.11, ocaml-sqlexpr.0.5.5, ocamlclean.2.0, ocamlfind.1.5.2, ocamlgraph.1.8.5, ocamlify.0.0.1, ocamlmod.0.0.7, ocamlnet.3.7.4, ocamlsdl.0.9.1, ocp-build.1.99.6-beta, ocp-indent.1.4.1, ocp-index.1.0.2, ocplib-endian.0.7, ocsigenserver.2.4.0, ocurl.0.7.1, omake.0.9.8.6-0.rc1, omd.0.9.7, opam-doc.0.9.3, opam-lib.1.1.1, optcomp.1.6, ounit.2.0.0, pa_bench.109.55.02, pa_comprehension.0.4, pa_monad_custom.v6.0.0, pa_ounit.109.53.02, pa_test.111.08.00, pcre-ocaml.7.1.1, pgocaml.2.1, pipebang.110.01.00, re.1.2.2, react.1.1.0, sexplib.111.25.00, shared-memory-ring.1.1.0, sqlite3-ocaml.2.0.6, ssl.0.4.7, stringext.1.0.0, tcpip.1.1.6, textutils.111.25.00, tgls.0.8.1, tsdl.0.8.1, tuntap.1.0.0, type_conv.111.13.00, typerep.111.17.00, typerex.1.99.6-beta, tyxml.3.1.1, uint.1.1.1, ulex.1.1, uri.1.7.2, utop.1.14, uucd.2.0.0, uuidm.0.9.5, uunf.0.9.3, uutf.0.9.3, variantslib.109.15.03, websocket.0.8.1, why3.0.83, xen-evtchn.1.0.5, xen-gnt.1.0.2, xenstore.1.2.5, xmlm.1.2.0, xtmpl.0.9, yojson.1.1.8, zarith.1.2, zed.1.3 }
00:00.044  001230  STATE                   ROOTS     : { agrep.1.0, async.111.25.00, async_ssl.111.21.00, base-bigarray.base, base-threads.base, base-unix.base, core_bench.109.58.01, crunch.1.3.0, cstruct.1.4.0, datalog.0.5.1, dns.0.9.1, freetennis.0.4.8, hardcaml.1.0.0, headache.1.03, meta_conv.1.1.3, mirage.1.2.0, mirage-clock-unix.1.0.0, mirage-clock-xen.1.0.0, mirage-console-unix.1.0.0, mirage-console-xen.1.0.2, mirage-http.1.1.0, mirage-net-unix.1.1.1, mirage-net-xen.1.1.3, mirage-types.1.2.0, mirage-unix.1.1.0, mirage-xen.1.1.1, oasis.0.4.4, ocaml-sqlexpr.0.5.5, ocamlclean.2.0, ocp-indent.1.4.1, ocp-index.1.0.2, ocsigenserver.2.4.0, opam-doc.0.9.3, opam-lib.1.1.1, pa_comprehension.0.4, pa_monad_custom.v6.0.0, pgocaml.2.1, tgls.0.8.1, tsdl.0.8.1, utop.1.14, uucd.2.0.0, uunf.0.9.3, why3.0.83 }
00:00.044  001230  STATE                   REINSTALL : {}
00:00.044  001230  STATE                   State switch-lock loaded in 0.048s
00:00.065  001230  SYSTEM                  [log-1230-5a61c5] (in 0.000s) ocamlc -version
00:00.065  001230  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.066  001230  1230                    locking /home/edwin/.opam/system/lock
00:00.066  001230  STATE                   LOAD-STATE(upgrade)
00:00.066  001230  FILE(config)            Read ~/.opam/config in 0.000s
00:00.073  001230  STATE                   Loaded /home/edwin/.opam/state.cache in 0.008s
00:00.073  001230  FILE(aliases)           Read ~/.opam/aliases in 0.000s
00:00.075  001230  FILE(repo-config)       Read ~/.opam/repo/default/config in 0.000s
00:00.100  001230  FILE(repo-index)        Read ~/.opam/repo/package-index in 0.024s
00:00.101  001230  FILE(repo-index)        Read ~/.opam/repo/compiler-index in 0.000s
00:00.101  001230  FILE(pinned)            Read ~/.opam/system/pinned in 0.000s
00:00.101  001230  FILE(installed)         Read ~/.opam/system/installed in 0.000s
00:00.101  001230  FILE(installed.roots)   Read ~/.opam/system/installed.roots in 0.000s
00:00.108  001230  FILE(reinstall)         Cannot find /home/edwin/.opam/system/reinstall
00:00.108  001230  STATE                   ROOT      : /home/edwin/.opam
00:00.108  001230  STATE                   SWITCH    : system
00:00.108  001230  STATE                   COMPILER  : system
00:00.108  001230  STATE                   COMPILERS : { 3.11.2, 3.12.1, 4.00.0, 4.00.0+debug-runtime, 4.00.0+fp, 4.00.1, 4.00.1+BER, 4.00.1+alloc-profiling, 4.00.1+annot, 4.00.1+french, 4.00.1+mirage-unix, 4.00.1+mirage-xen, 4.00.1+open-types, 4.00.1+raspberrypi, 4.00.1+short-types, 4.01.0, 4.01.0+32bit, 4.01.0+BER, 4.01.0+PIC, 4.01.0+armv6-freebsd, 4.01.0+bin-ocp, 4.01.0+fp, 4.01.0+jocaml, 4.01.0+lsb, 4.01.0+musl, 4.01.0+musl+static, 4.01.0+open-types, 4.01.0beta1, 4.01.0beta1+no-camlp4, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0+trunk, 4.03.0+fp, 4.03.0+pr22, 4.03.0+pr24, 4.03.0+pr25, 4.03.0+pr26, 4.03.0+pr29, 4.03.0+pr30, 4.03.0+pr36, 4.03.0+pr37, 4.03.0+pr42, 4.03.0+pr43, 4.03.0+pr46, 4.03.0+pr51, 4.03.0+pr57, 4.03.0+pr63, 4.03.0+pr65, 4.03.0+pr68, 4.03.0+pr69, 4.03.0+pr71, 4.03.0+pr73, 4.03.0+pr76, 4.03.0+pr78, 4.03.0+pr79, 4.03.0+pr80, 4.03.0+pr81, 4.03.0+pr82, 4.03.0+pr83, 4.03.0+pr84, 4.03.0+pr88, 4.03.0+pr89, 4.03.0+pr90, 4.03.0+trunk, system }
00:00.108  001230  STATE                   REPOS     : { default }
00:00.108  001230  STATE                   PACKAGES  : 2559 packages
00:00.108  001230  STATE                   INSTALLED : { agrep.1.0, alt-ergo.0.95.2, async.111.25.00, async_extra.111.25.00, async_kernel.111.25.00, async_ssl.111.21.00, async_unix.111.25.00, atd.1.1.2, atdgen.1.3.1, base-bigarray.base, base-bytes.legacy, base-threads.base, base-unix.base, batteries.2.2.0, bin_prot.111.03.00, biniou.1.0.9, calendar.2.03.2, camlimages.4.1.1, camlp4.4.01.0, camomile.0.8.5, cmdliner.0.9.5, cohttp.0.11.2, comparelib.109.60.00, conduit.0.5.1, conf-gmp.1, conf-gnomecanvas.2, conf-gtksourceview.2, conf-libpcre.1, config-file.1.2, core.111.25.00, core_bench.109.58.01, core_kernel.111.25.00, cow.0.10.1, cppo.0.9.4, crunch.1.3.0, cryptokit.1.9, cstruct.1.4.0, csv.1.3.3, ctypes.0.3.3, cudf.0.6.3, custom_printf.111.25.00, datalog.0.5.1, dns.0.9.1, dose.3.1.2, dyntype.0.9.0, easy-format.1.0.2, enumerate.111.08.00, estring.1.3, extlib.1.6.1, ezjsonm.0.2.0, fieldslib.109.20.03, fileutils.0.4.4, freetennis.0.4.8, hardcaml.1.0.0, headache.1.03, herelib.109.35.02, higlo.0.3, io-page.1.1.1, iocamljs-kernel.0.4.4, ipaddr.2.5.0, js_of_ocaml.2.2, jsonm.0.9.1, lablgl.20120306, lablgtk.2.16.0, lambda-term.1.6, lwt.2.4.5, menhir.20130912, meta_conv.1.1.3, mirage.1.2.0, mirage-clock-unix.1.0.0, mirage-clock-xen.1.0.0, mirage-console-unix.1.0.0, mirage-console-xen.1.0.2, mirage-http.1.1.0, mirage-net-unix.1.1.1, mirage-net-xen.1.1.3, mirage-types.1.2.0, mirage-unix.1.1.0, mirage-xen.1.1.1, oasis.0.4.4, ocaml-data-notation.0.0.11, ocaml-sqlexpr.0.5.5, ocamlclean.2.0, ocamlfind.1.5.2, ocamlgraph.1.8.5, ocamlify.0.0.1, ocamlmod.0.0.7, ocamlnet.3.7.4, ocamlsdl.0.9.1, ocp-build.1.99.6-beta, ocp-indent.1.4.1, ocp-index.1.0.2, ocplib-endian.0.7, ocsigenserver.2.4.0, ocurl.0.7.1, omake.0.9.8.6-0.rc1, omd.0.9.7, opam-doc.0.9.3, opam-lib.1.1.1, optcomp.1.6, ounit.2.0.0, pa_bench.109.55.02, pa_comprehension.0.4, pa_monad_custom.v6.0.0, pa_ounit.109.53.02, pa_test.111.08.00, pcre-ocaml.7.1.1, pgocaml.2.1, pipebang.110.01.00, re.1.2.2, react.1.1.0, sexplib.111.25.00, shared-memory-ring.1.1.0, sqlite3-ocaml.2.0.6, ssl.0.4.7, stringext.1.0.0, tcpip.1.1.6, textutils.111.25.00, tgls.0.8.1, tsdl.0.8.1, tuntap.1.0.0, type_conv.111.13.00, typerep.111.17.00, typerex.1.99.6-beta, tyxml.3.1.1, uint.1.1.1, ulex.1.1, uri.1.7.2, utop.1.14, uucd.2.0.0, uuidm.0.9.5, uunf.0.9.3, uutf.0.9.3, variantslib.109.15.03, websocket.0.8.1, why3.0.83, xen-evtchn.1.0.5, xen-gnt.1.0.2, xenstore.1.2.5, xmlm.1.2.0, xtmpl.0.9, yojson.1.1.8, zarith.1.2, zed.1.3 }
00:00.108  001230  STATE                   ROOTS     : { agrep.1.0, async.111.25.00, async_ssl.111.21.00, base-bigarray.base, base-threads.base, base-unix.base, core_bench.109.58.01, crunch.1.3.0, cstruct.1.4.0, datalog.0.5.1, dns.0.9.1, freetennis.0.4.8, hardcaml.1.0.0, headache.1.03, meta_conv.1.1.3, mirage.1.2.0, mirage-clock-unix.1.0.0, mirage-clock-xen.1.0.0, mirage-console-unix.1.0.0, mirage-console-xen.1.0.2, mirage-http.1.1.0, mirage-net-unix.1.1.1, mirage-net-xen.1.1.3, mirage-types.1.2.0, mirage-unix.1.1.0, mirage-xen.1.1.1, oasis.0.4.4, ocaml-sqlexpr.0.5.5, ocamlclean.2.0, ocp-indent.1.4.1, ocp-index.1.0.2, ocsigenserver.2.4.0, opam-doc.0.9.3, opam-lib.1.1.1, pa_comprehension.0.4, pa_monad_custom.v6.0.0, pgocaml.2.1, tgls.0.8.1, tsdl.0.8.1, utop.1.14, uucd.2.0.0, uunf.0.9.3, why3.0.83 }
00:00.108  001230  STATE                   REINSTALL : {}
00:00.108  001230  STATE                   State upgrade loaded in 0.040s
00:00.109  001230  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.109  001230  FILE(export)            Wrote ~/.opam/system/backup/state-20140716203405.export in 0.000s
00:00.109  001230  CLIENT                  UPGRADE 
00:00.122  001230  FILE(.config)           Read ~/.opam/system/config/global-config.config in 0.000s
00:00.128  001230  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.128  001230  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.128  001230  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.129  001230  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.178  001230  SOLVER                  resolve request=install:() remove:() upgrade:(agrep & alt-ergo & async & async_extra & async_kernel & async_ssl & async_unix & atd & atdgen & base-bigarray & base-bytes & base-threads & base-unix & batteries & bin_prot & biniou & calendar & camlimages & camlp4 & camomile & cmdliner & cohttp & comparelib & conduit & conf-gmp & conf-gnomecanvas & conf-gtksourceview & conf-libpcre & config-file & core & core_bench & core_kernel & cow & cppo & crunch & cryptokit & cstruct & csv & ctypes & cudf & custom_printf & datalog & dns & dose & dyntype & easy-format & enumerate & estring & extlib & ezjsonm & fieldslib & fileutils & freetennis & hardcaml & headache & herelib & higlo & io-page & iocamljs-kernel & ipaddr & js_of_ocaml & jsonm & lablgl & lablgtk & lambda-term & lwt & menhir & meta_conv & mirage & mirage-clock-unix & mirage-clock-xen & mirage-console-unix & mirage-console-xen & mirage-http & mirage-net-unix & mirage-net-xen & mirage-types & mirage-unix & mirage-xen & oasis & ocaml-data-notation & ocaml-sqlexpr & ocamlclean & ocamlfind & ocamlgraph & ocamlify & ocamlmod & ocamlnet & ocamlsdl & ocp-build & ocp-indent & ocp-index & ocplib-endian & ocsigenserver & ocurl & omake & omd & opam-doc & opam-lib & optcomp & ounit & pa_bench & pa_comprehension & pa_monad_custom & pa_ounit & pa_test & pcre-ocaml & pgocaml & pipebang & re & react & sexplib & shared-memory-ring & sqlite3-ocaml & ssl & stringext & tcpip & textutils & tgls & tsdl & tuntap & type_conv & typerep & typerex & tyxml & uint & ulex & uri & utop & uucd & uuidm & uunf & uutf & variantslib & websocket & why3 & xen-evtchn & xen-gnt & xenstore & xmlm & xtmpl & yojson & zarith & zed)
00:00.311  001230  SYSTEM                  [log-1230-4bcc67] (in 0.004s) which aspcud
00:00.311  001230  CUDF                    resolve request=install:() remove:() upgrade:(zed & zarith & yojson & xtmpl & xmlm & xenstore & xen-gnt & xen-evtchn & why3 & websocket & variantslib & uutf & uunf & uuidm & uucd & utop & uri & ulex & uint & tyxml & typerex & typerep & type%5fconv & tuntap & tsdl & tgls & textutils & tcpip & stringext & ssl & sqlite3-ocaml & shared-memory-ring & sexplib & react & re & pipebang & pgocaml & pcre-ocaml & pa%5ftest & pa%5founit & pa%5fmonad%5fcustom & pa%5fcomprehension & pa%5fbench & ounit & optcomp & opam-lib & opam-doc & omd & omake & ocurl & ocsigenserver & ocplib-endian & ocp-index & ocp-indent & ocp-build & ocamlsdl & ocamlnet & ocamlmod & ocamlify & ocamlgraph & ocamlfind & ocamlclean & ocaml-sqlexpr & ocaml-data-notation & oasis & mirage-xen & mirage-unix & mirage-types & mirage-net-xen & mirage-net-unix & mirage-http & mirage-console-xen & mirage-console-unix & mirage-clock-xen & mirage-clock-unix & mirage & meta%5fconv & menhir & lwt & lambda-term & lablgtk & lablgl & jsonm & js%5fof%5focaml & ipaddr & iocamljs-kernel & io-page & higlo & herelib & headache & hardcaml & freetennis & fileutils & fieldslib & ezjsonm & extlib & estring & enumerate & easy-format & dyntype & dose & dns & datalog & custom%5fprintf & cudf & ctypes & csv & cstruct & cryptokit & crunch & cppo & cow & core%5fkernel & core%5fbench & core & config-file & conf-libpcre & conf-gtksourceview & conf-gnomecanvas & conf-gmp & conduit & comparelib & cohttp & cmdliner & camomile & camlp4 & camlimages & calendar & biniou & bin%5fprot & batteries & base-unix & base-threads & base-bytes & base-bigarray & atdgen & atd & async%5funix & async%5fssl & async%5fkernel & async%5fextra & async & alt-ergo & agrep)
00:01.628  001230  CUDF                    graph_of_actions root_actions={  - install extlib.236,  - install tcpip.196,  - install core%5fbench.483,  - install jsonm.105,  - install uuidm.110,  - install lwt.323,  - install ulex.188,  - install agrep.170,  - install pgocaml.302,  - install conf-gmp.169,  - install ezjsonm.28,  - install ounit.291,  - install websocket.95,  - install conf-gnomecanvas.289,  - install config-file.198,  - install cmdliner.110,  - install headache.206,  - install mirage-console-xen.181,  - install uutf.107,  - install atd.192,  - install ocamlify.4,  - install hardcaml.178,  - install lablgtk.329,  - install mirage-xen.191,  - install conf-gtksourceview.289,  - install pa%5founit.476,  - install lambda-term.234,  - install ssl.59,  - install zed.206,  - install dns.105,  - install tyxml.337,  - install meta%5fconv.193,  - install type%5fconv.494,  - install react.189,  - install tgls.96,  - install freetennis.60,  - install async.497,  - install cudf.80,  - install sqlite3-ocaml.298,  - install dyntype.104,  - install camlp4.382,  - install js%5fof%5focaml.302,  - install atdgen.208,  - install alt-ergo.166,  - install camomile.99,  - install typerep.495,  - install mirage-http.189,  - install menhir.515,  - install ocp-indent.223,  - install uucd.291,  - install ocamlnet.363,  - install base-unix.520,  - install ocamlsdl.105,  - install iocamljs-kernel.51,  - install xen-gnt.181,  - install base-bigarray.520,  - install typerex.288,  - install batteries.309,  - install ocaml-sqlexpr.70,  - install base-bytes.521,  - install lablgl.503,  - install mirage-console-unix.178,  - install async%5fkernel.497,  - install calendar.316,  - install core.497,  - install zarith.198,  - install pa%5fbench.479,  - install bin%5fprot.487,  - install mirage-clock-xen.178,  - install ocurl.86,  - install mirage-net-xen.193,  - install cryptokit.254,  - install mirage-types.199,  - install ocp-index.181,  - install ocamlfind.231,  - install mirage.199,  - install easy-format.181,  - install higlo.37,  - install sexplib.497,  - install ocaml-data-notation.14,  - install yojson.197,  - install cstruct.222,  - install uint.191,  - install re.201,  - install io-page.191,  - install ipaddr.324,  - install opam-doc.107,  - install enumerate.490,  - install comparelib.484,  - install async%5funix.497,  - install ocamlclean.290,  - install cohttp.129,  - install custom%5fprintf.497,  - install dose.345,  - install herelib.461,  - install stringext.178,  - install async%5fextra.497,  - install mirage-clock-unix.178,  - install tuntap.178,  - install base-threads.520,  - install conduit.66,  - install datalog.66,  - install pipebang.486,  - install oasis.55,  - install utop.266,  - install shared-memory-ring.189,  - install pcre-ocaml.411,  - install xen-evtchn.184,  - install ctypes.43,  - install async%5fssl.496,  - install ocamlmod.10,  - install fileutils.55,  - install omd.104,  - install pa%5ftest.490,  - install optcomp.234,  - install core%5fkernel.497,  - install tsdl.95,  - install xenstore.204,  - install ocamlgraph.252,  - install crunch.207,  - install uri.244,  - install xtmpl.103,  - install ocsigenserver.318,  - install textutils.497,  - install omake.115,  - install csv.211,  - install opam-lib.191,  - install xmlm.199,  - install estring.206,  - install uunf.107,  - install fieldslib.442,  - install ocp-build.288,  - install mirage-net-unix.191,  - install pa%5fcomprehension.50,  - install why3.158,  - install biniou.187,  - install variantslib.435,  - install camlimages.384,  - install conf-libpcre.169,  - install ocplib-endian.84,  - install pa%5fmonad%5fcustom.522,  - install cppo.108,  - install mirage-unix.189,  - install cow.125 }
00:01.638  001230  SOLUTION                apply
Emm commented 10 years ago

I can confirm that (using opam 1.1.1 from Debian unstable, which hasn't changed recently). It looks like the solver does not take installed packages into account. Using aspcud doesn't change the issue.

AltGr commented 10 years ago

@Emm it makes sense that aspcud doesn't change this: the solver actually returns the installed set that we should get to ; then it's OPAM which does a diff to extract the actions to get from the current state to there while keeping consistency. So it must be a bug in that part. 

00:00.108  001230  STATE                   INSTALLED : {..........}

is right so the error would be at the graph_of_actions step...

AltGr commented 10 years ago

Superseded by #1683