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.23k stars 351 forks source link

solver appears to determine nothing to do when installing a not-installed package #1139

Closed mor1 closed 10 years ago

mor1 commented 10 years ago

i see the following behaviour. first, the status:

: mort@greyjay:mirage#combinators> $; opam info mirage
             package: mirage
             version: 1.1.0
              pinned: true
        upstream-url: /Users/mort/research/projects/mirage/v1/mirage
       upstream-kind: local
                tags: org:mirage, org:xapi-project
             depends: ipaddr >= 1.0.0 & mirage-types >= 1.1.0 & re >= 1.2.1 & cmdliner >= 0.9.2 & lwt >= 2.4.3 & cstruct >= 1.0.1 & io-page >= 1.0.0
   installed-version:
  available-versions: 0.4.0, 0.4.1, 0.5.0, 0.6.0, 0.6.1, 0.7.2, 0.8.0, 0.8.1, 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6, 0.9.7, 0.9.8, 0.10.0, 1.0.0, 1.0.1, 1.0.2, 1.0.3, 1.0.4, 1.0.4devel, 1.1.0, pinned
         description: The Mirage library operating system

Mirage is a unikernel for constructing secure, high-performance
network applications across a variety of cloud computing and mobile
platforms. Code can be developed on a normal OS such as Linux or MacOS
X, and then compiled into a fully-standalone, specialised microkernel
that runs under the Xen hypervisor. Since Xen powers most public cloud
computing infrastructure such as Amazon EC2, this lets your servers
run more cheaply, securely and finer control than with a full software
stack.

then i attempt to install the mirage package. this uses a local opam-repository copy where i've replaced the dependency on io-page-unix and io-page-xen with the new io-page package.

: mort@greyjay:mirage#combinators> $; opam install mirage
: mort@greyjay:mirage#combinators> $;

removing and retrying doesn't help:

: mort@greyjay:mirage#combinators> $; opam remove mirage && opam install mirage
mirage is not installed.
Nothing to do.
: mort@greyjay:mirage#combinators> $;

using the --debug flag gets the following:

: mort@greyjay:mirage#combinators> $; opam install --debug mirage
00:00.000  086482  86482                   locking /Users/mort/.opam/lock
00:00.001  086482  FILE(config)            Read ~/.opam/config in 0.000s
00:00.001  086482  SYSTEM                  unlocking /Users/mort/.opam/lock (86482)
00:00.001  086482  SYSTEM                  rm /Users/mort/.opam/lock
00:00.001  086482  STATE                   LOAD-STATE(switch-lock)
00:00.001  086482  FILE(config)            Read ~/.opam/config in 0.000s
00:00.011  086482  STATE                   Loaded /Users/mort/.opam/state.cache in 0.010s
00:00.012  086482  FILE(aliases)           Read ~/.opam/aliases in 0.000s
00:00.017  086482  FILE(repo-config)       Read ~/.opam/repo/upstream/config in 0.000s
00:00.017  086482  FILE(repo-config)       Read ~/.opam/repo/default/config in 0.000s
00:00.017  086482  FILE(repo-config)       Read ~/.opam/repo/local/config in 0.000s
00:00.032  086482  FILE(repo-index)        Read ~/.opam/repo/package-index in 0.014s
00:00.032  086482  FILE(repo-index)        Read ~/.opam/repo/compiler-index in 0.000s
00:00.032  086482  FILE(pinned)            Read ~/.opam/system/pinned in 0.000s
00:00.032  086482  FILE(installed)         Read ~/.opam/system/installed in 0.000s
00:00.032  086482  FILE(installed.roots)   Read ~/.opam/system/installed.roots in 0.000s
00:00.040  086482  FILE(reinstall)         Read ~/.opam/system/reinstall in 0.000s
00:00.040  086482  STATE                   ROOT      : /Users/mort/.opam
00:00.040  086482  STATE                   SWITCH    : system
00:00.040  086482  STATE                   COMPILER  : system
00:00.040  086482  STATE                   COMPILERS : { 3.11.2, 3.12.1, 3.12.1+natdynlink-osx, 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+BER, 4.01.0+PIC, 4.01.0+fp, 4.01.0beta1, 4.01.0beta1+no-camlp4, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0dev+fp, 4.02.0dev+trunk, system }
00:00.042  086482  STATE                   REPOS     : { default, local, upstream }
00:00.042  086482  STATE                   PACKAGES  : 1982 packages
00:00.042  086482  STATE                   INSTALLED : { base-bigarray.base, base-threads.base, base-unix.base, camomile.0.8.5, cmdliner.0.9.2, cow.0.9.1, crunch.1.2.3, cstruct.1.0.1, dyntype.0.9.0, fat-filesystem.pinned, fieldslib.109.20.02, fileutils.0.4.4, io-page.1.0.1, io-page-unix.0.9.9, ipaddr.1.0.0, lambda-term.1.5, lwt.2.4.4, mirage-block-unix.1.2.1, mirage-types.1.1.0, oasis.0.4.1, ocaml-data-notation.0.0.11, ocamlfind.1.4.0, ocamlify.0.0.1, ocamlmod.0.0.4, ocp-build.1.99.6-beta, ocp-indent.pinned, ocplib-endian.0.4, omd.0.9.5, optcomp.1.5, ounit.2.0.0, re.1.2.1, react.0.9.4, sexplib.109.60.00, shared-memory-ring.1.0.0, ssl.0.4.6, tuntap.0.7.0, type_conv.109.60.00, typerex.1.99.6-beta, ulex.1.1, uri.1.3.13, utop.1.10, xmlm.1.2.0, zed.1.2 }
00:00.042  086482  STATE                   ROOTS     : { base-bigarray.base, base-threads.base, base-unix.base, cmdliner.0.9.2, cow.0.9.1, crunch.1.2.3, fat-filesystem.pinned, lwt.2.4.4, oasis.0.4.1, ocamlfind.1.4.0, ocp-build.1.99.6-beta, ocp-indent.pinned, omd.0.9.5, ssl.0.4.6, utop.1.10 }
00:00.042  086482  STATE                   REINSTALL : {}
00:00.042  086482  STATE                   State switch-lock loaded in 0.038s
00:00.063  086482  SYSTEM                  [log-86482-5a61c5] (in 0.004s) ocamlc -version
00:00.064  086482  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.064  086482  86482                   locking /Users/mort/.opam/system/lock
00:00.064  086482  STATE                   LOAD-STATE(install)
00:00.064  086482  FILE(config)            Read ~/.opam/config in 0.000s
00:00.070  086482  STATE                   Loaded /Users/mort/.opam/state.cache in 0.006s
00:00.071  086482  FILE(aliases)           Read ~/.opam/aliases in 0.000s
00:00.074  086482  FILE(repo-config)       Read ~/.opam/repo/upstream/config in 0.000s
00:00.074  086482  FILE(repo-config)       Read ~/.opam/repo/default/config in 0.000s
00:00.074  086482  FILE(repo-config)       Read ~/.opam/repo/local/config in 0.000s
00:00.096  086482  FILE(repo-index)        Read ~/.opam/repo/package-index in 0.021s
00:00.096  086482  FILE(repo-index)        Read ~/.opam/repo/compiler-index in 0.000s
00:00.096  086482  FILE(pinned)            Read ~/.opam/system/pinned in 0.000s
00:00.097  086482  FILE(installed)         Read ~/.opam/system/installed in 0.000s
00:00.097  086482  FILE(installed.roots)   Read ~/.opam/system/installed.roots in 0.000s
00:00.105  086482  FILE(reinstall)         Read ~/.opam/system/reinstall in 0.000s
00:00.105  086482  STATE                   ROOT      : /Users/mort/.opam
00:00.105  086482  STATE                   SWITCH    : system
00:00.105  086482  STATE                   COMPILER  : system
00:00.105  086482  STATE                   COMPILERS : { 3.11.2, 3.12.1, 3.12.1+natdynlink-osx, 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+BER, 4.01.0+PIC, 4.01.0+fp, 4.01.0beta1, 4.01.0beta1+no-camlp4, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0dev+fp, 4.02.0dev+trunk, system }
00:00.105  086482  STATE                   REPOS     : { default, local, upstream }
00:00.105  086482  STATE                   PACKAGES  : 1982 packages
00:00.105  086482  STATE                   INSTALLED : { base-bigarray.base, base-threads.base, base-unix.base, camomile.0.8.5, cmdliner.0.9.2, cow.0.9.1, crunch.1.2.3, cstruct.1.0.1, dyntype.0.9.0, fat-filesystem.pinned, fieldslib.109.20.02, fileutils.0.4.4, io-page.1.0.1, io-page-unix.0.9.9, ipaddr.1.0.0, lambda-term.1.5, lwt.2.4.4, mirage-block-unix.1.2.1, mirage-types.1.1.0, oasis.0.4.1, ocaml-data-notation.0.0.11, ocamlfind.1.4.0, ocamlify.0.0.1, ocamlmod.0.0.4, ocp-build.1.99.6-beta, ocp-indent.pinned, ocplib-endian.0.4, omd.0.9.5, optcomp.1.5, ounit.2.0.0, re.1.2.1, react.0.9.4, sexplib.109.60.00, shared-memory-ring.1.0.0, ssl.0.4.6, tuntap.0.7.0, type_conv.109.60.00, typerex.1.99.6-beta, ulex.1.1, uri.1.3.13, utop.1.10, xmlm.1.2.0, zed.1.2 }
00:00.105  086482  STATE                   ROOTS     : { base-bigarray.base, base-threads.base, base-unix.base, cmdliner.0.9.2, cow.0.9.1, crunch.1.2.3, fat-filesystem.pinned, lwt.2.4.4, oasis.0.4.1, ocamlfind.1.4.0, ocp-build.1.99.6-beta, ocp-indent.pinned, omd.0.9.5, ssl.0.4.6, utop.1.10 }
00:00.105  086482  STATE                   REINSTALL : {}
00:00.106  086482  STATE                   State install loaded in 0.041s
00:00.106  086482  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.106  086482  FILE(export)            Wrote ~/.opam/system/backup/state-20140028152551.export in 0.000s
00:00.106  086482  CLIENT                  INSTALL { mirage }
00:00.140  086482  FILE(opam)              Read ~/.opam/system/overlay/cowabloga.pinned/opam in 0.001s
00:00.141  086482  FILE(opam)              Read ~/.opam/system/overlay/cowabloga.pinned/opam in 0.000s
00:00.144  086482  FILE(opam)              Read ~/.opam/system/overlay/fat-filesystem.pinned/opam in 0.000s
00:00.145  086482  FILE(opam)              Read ~/.opam/system/overlay/fat-filesystem.pinned/opam in 0.000s
00:00.151  086482  FILE(.config)           Read ~/.opam/system/config/global-config.config in 0.000s
00:00.153  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.153  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.155  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage-tcpip-unix.pinned/opam in 0.000s
00:00.160  086482  FILE(opam)              Read ~/.opam/system/overlay/ocp-indent.pinned/opam in 0.000s
00:00.162  086482  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.162  086482  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.162  086482  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.162  086482  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.194  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.194  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.194  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.194  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.194  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.195  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.195  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.195  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.195  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.195  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.196  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.196  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.196  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.196  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.197  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.197  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.197  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.197  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.197  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.197  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.198  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.198  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.198  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.198  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.198  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.199  086482  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.205  086482  SYSTEM                  [log-86482-4bcc67] (in 0.002s) which aspcud
00:00.240  086482  SOLVER                  resolve request=install:(base-bigarray & base-threads & base-unix & cmdliner & cow & crunch & lwt & oasis & ocamlfind & ocp-build & omd & ssl & utop) remove:() upgrade:(mirage)
00:01.364  086482  HEURISTIC               implicit-installed: { ocamlfind.189(installed), re.167(installed), cmdliner.98(installed) }
00:01.364  086482  HEURISTIC               implicit-not-installed:
00:01.364  086482  HEURISTIC               state_of_request
00:01.903  086482  HEURISTIC               explore
00:01.903  086482  HEURISTIC               brute-force
00:01.918  086482  HEURISTIC               STATE(0) {}
00:01.918  086482  HEURISTIC               refine request:install:(utop & ssl & omd & ocp-build & ocamlfind & oasis & lwt & crunch & cow & cmdliner & base-unix & base-threads & base-bigarray) remove:() upgrade:(mirage) state:{}
00:01.918  086482  HEURISTIC               installed-first ocamlfind
00:01.937  086482  HEURISTIC               keep ocamlfind with the same version
00:01.937  086482  HEURISTIC               installed-first re
00:01.982  086482  HEURISTIC               keep re with the same version
00:01.982  086482  HEURISTIC               installed-first cmdliner
00:02.002  086482  HEURISTIC               keep cmdliner with the same version
00:02.002  086482  HEURISTIC               STATE(1) { cmdliner.98(installed), re.167(installed), ocamlfind.189(installed) }
00:02.002  086482  HEURISTIC               installed-first cow
00:02.021  086482  HEURISTIC               keep cow with the same version
00:02.021  086482  HEURISTIC               installed-first ocp-build
00:02.042  086482  HEURISTIC               keep ocp-build with the same version
00:02.042  086482  HEURISTIC               installed-first uri
00:02.059  086482  HEURISTIC               keep uri with the same version
00:02.059  086482  HEURISTIC               installed-first lwt
00:02.086  086482  HEURISTIC               keep lwt with the same version
00:02.086  086482  HEURISTIC               installed-first ocp-indent
00:02.102  086482  HEURISTIC               keep ocp-indent with the same version
00:02.102  086482  HEURISTIC               installed-first crunch
00:02.123  086482  HEURISTIC               keep crunch with the same version
00:02.123  086482  HEURISTIC               installed-first ipaddr
00:02.147  086482  HEURISTIC               keep ipaddr with the same version
00:02.147  086482  HEURISTIC               installed-first io-page
00:02.189  086482  HEURISTIC               keep io-page with the same version
00:02.189  086482  HEURISTIC               installed-first sexplib
00:02.211  086482  HEURISTIC               keep sexplib with the same version
00:02.211  086482  HEURISTIC               installed-first ocamlify
00:02.240  086482  HEURISTIC               keep ocamlify with the same version
00:02.240  086482  HEURISTIC               installed-first mirage-block-unix
00:02.267  086482  HEURISTIC               keep mirage-block-unix with the same version
00:02.267  086482  HEURISTIC               installed-first ounit
00:02.290  086482  HEURISTIC               keep ounit with the same version
00:02.290  086482  HEURISTIC               installed-first type%5fconv
00:02.313  086482  HEURISTIC               keep type%5fconv with the same version
00:02.313  086482  HEURISTIC               installed-first shared-memory-ring
00:02.331  086482  HEURISTIC               keep shared-memory-ring with the same version
00:02.331  086482  HEURISTIC               installed-first optcomp
00:02.355  086482  HEURISTIC               keep optcomp with the same version
00:02.355  086482  HEURISTIC               installed-first utop
00:02.376  086482  HEURISTIC               keep utop with the same version
00:02.376  086482  HEURISTIC               installed-first ulex
00:02.419  086482  HEURISTIC               keep ulex with the same version
00:02.419  086482  HEURISTIC               installed-first cstruct
00:02.446  086482  HEURISTIC               keep cstruct with the same version
00:02.446  086482  HEURISTIC               installed-first zed
00:02.465  086482  HEURISTIC               keep zed with the same version
00:02.465  086482  HEURISTIC               installed-first typerex
00:02.483  086482  HEURISTIC               keep typerex with the same version
00:02.483  086482  HEURISTIC               installed-first ocamlmod
00:02.501  086482  HEURISTIC               keep ocamlmod with the same version
00:02.501  086482  HEURISTIC               installed-first ssl
00:02.526  086482  HEURISTIC               keep ssl with the same version
00:02.526  086482  HEURISTIC               installed-first camomile
00:02.545  086482  HEURISTIC               keep camomile with the same version
00:02.545  086482  HEURISTIC               installed-first react
00:02.566  086482  HEURISTIC               keep react with the same version
00:02.566  086482  HEURISTIC               installed-first ocplib-endian
00:02.587  086482  HEURISTIC               keep ocplib-endian with the same version
00:02.587  086482  HEURISTIC               installed-first ocaml-data-notation
00:02.630  086482  HEURISTIC               keep ocaml-data-notation with the same version
00:02.630  086482  HEURISTIC               installed-first base-threads
00:02.657  086482  HEURISTIC               keep base-threads with the same version
00:02.657  086482  HEURISTIC               installed-first base-bigarray
00:02.678  086482  HEURISTIC               keep base-bigarray with the same version
00:02.678  086482  HEURISTIC               installed-first lambda-term
00:02.697  086482  HEURISTIC               keep lambda-term with the same version
00:02.697  086482  HEURISTIC               installed-first io-page-unix
00:02.715  086482  HEURISTIC               keep io-page-unix with the same version
00:02.715  086482  HEURISTIC               installed-first fileutils
00:02.740  086482  HEURISTIC               keep fileutils with the same version
00:02.740  086482  HEURISTIC               installed-first xmlm
00:02.757  086482  HEURISTIC               keep xmlm with the same version
00:02.757  086482  HEURISTIC               installed-first fieldslib
00:02.777  086482  HEURISTIC               keep fieldslib with the same version
00:02.777  086482  HEURISTIC               installed-first fat-filesystem
00:02.801  086482  HEURISTIC               keep fat-filesystem with the same version
00:02.801  086482  HEURISTIC               installed-first omd
00:02.842  086482  HEURISTIC               keep omd with the same version
00:02.842  086482  HEURISTIC               installed-first base-unix
00:02.868  086482  HEURISTIC               keep base-unix with the same version
00:02.868  086482  HEURISTIC               installed-first mirage-types
00:02.889  086482  HEURISTIC               keep mirage-types with the same version
00:02.889  086482  HEURISTIC               installed-first oasis
00:02.909  086482  HEURISTIC               keep oasis with the same version
00:02.909  086482  HEURISTIC               installed-first dyntype
00:02.928  086482  HEURISTIC               keep dyntype with the same version
00:02.928  086482  HEURISTIC               installed-first tuntap
00:02.951  086482  HEURISTIC               keep tuntap with the same version
00:02.951  086482  HEURISTIC               STATE(2) { tuntap.79(installed), dyntype.96(installed), oasis.48(installed), mirage-types.157(installed), base-unix.419(installed), omd.102(installed), fat-filesystem.116(installed), fieldslib.362(installed), xmlm.166(installed), fileutils.51(installed), io-page-unix.108(installed), lambda-term.195(installed), base-bigarray.419(installed), base-threads.419(installed), ocaml-data-notation.12(installed), ocplib-endian.46(installed), react.100(installed), camomile.92(installed), ssl.53(installed), ocamlmod.7(installed), typerex.239(installed), zed.165(installed), cstruct.147(installed), ulex.156(installed), utop.224(installed), optcomp.195(installed), shared-memory-ring.146(installed), type%5fconv.400(installed), ounit.242(installed), mirage-block-unix.167(installed), ocamlify.4(installed), sexplib.400(installed), io-page.147(installed), ipaddr.146(installed), crunch.169(installed), ocp-indent.177(installed), lwt.271(installed), uri.187(installed), ocp-build.239(installed), cow.97(installed), cmdliner.98(installed), re.167(installed), ocamlfind.189(installed) }
00:02.951  086482  HEURISTIC               actions_of_state { tuntap.79(installed), dyntype.96(installed), oasis.48(installed), mirage-types.157(installed), base-unix.419(installed), omd.102(installed), fat-filesystem.116(installed), fieldslib.362(installed), xmlm.166(installed), fileutils.51(installed), io-page-unix.108(installed), lambda-term.195(installed), base-bigarray.419(installed), base-threads.419(installed), ocaml-data-notation.12(installed), ocplib-endian.46(installed), react.100(installed), camomile.92(installed), ssl.53(installed), ocamlmod.7(installed), typerex.239(installed), zed.165(installed), cstruct.147(installed), ulex.156(installed), utop.224(installed), optcomp.195(installed), shared-memory-ring.146(installed), type%5fconv.400(installed), ounit.242(installed), mirage-block-unix.167(installed), ocamlify.4(installed), sexplib.400(installed), io-page.147(installed), ipaddr.146(installed), crunch.169(installed), ocp-indent.177(installed), lwt.271(installed), uri.187(installed), ocp-build.239(installed), cow.97(installed), cmdliner.98(installed), re.167(installed), ocamlfind.189(installed) }
00:03.451  086482  CUDF                    graph_of_actions root_actions={}
00:03.452  086482  SOLUTION                apply
digraph G {

  }00:03.452  086482  SYSTEM                  rm /Users/mort/.opam/system/backup/state-20140028152551.export
00:03.452  086482  SYSTEM                  unlocking /Users/mort/.opam/system/lock (86482)
00:03.452  086482  SYSTEM                  rm /Users/mort/.opam/system/lock
: mort@greyjay:mirage#combinators> $;

...so it looks like the solver dropped mirage from the set of actions or something...?

AltGr commented 10 years ago

That's weird indeed: the initial request was to install mirage, but what was submitted to the solver is a request for upgrade. Then the internal heuristic probably removed it altogether, since it was not installed, in an attemt to reduce the size of its universe. This needs investigation, thanks for reporting

AltGr commented 10 years ago

Did the process exit with 0 or some error code ?

AltGr commented 10 years ago

This has probably something to do with the fact that the package seems to be pinned (with ~/.opam/system/overlay/mirage.pinned/opam overriding the opam file from your repo)

The many attempts to read ~/.opam/system/overlay/mirage.pinned/opam (one per version ?) are also quite suspicious. What is the result of opam pin exactly ?

mor1 commented 10 years ago 
: mort@greyjay:mort-www#master *%= $; opam pin
cowabloga            local    /Users/mort/research/projects/mirage/v1/cowabloga
fat-filesystem       local    /Users/mort/research/projects/mirage/v1/ocaml-fat
mirage               local    /Users/mort/research/projects/mirage/v1/mirage
mirage-console-unix  local    /Users/mort/research/projects/mirage/v1/mirage-console
mirage-tcpip-unix    version  0.9.5
ocp-indent           version  1.3.2
omd                  version  0.9.4

...whoa, it just started working again. i'll dump some more state in here to try and help debug

mor1 commented 10 years ago

so, here's the set of commands that i executed in the meanwhile:

  982  ll ~/research/projects/mirage/v1/mirage
  983  opam remove mirage-console-unix
  984  cd mirage-console
  985  opam pin mirage-console .
  986  opam pin mirage-console-unix .
  987  opam install mirage-console-unix
  988  opam reinstall mirage-console.unix
  989  opam reinstall mirage-console-unix
  990  fat
  991  fat list src/fat1.img
  992  fat list src/fat2.img
  993  fat list src/fat3.img
  994  fat list src/fat5.img
  995  ll store/pages/
  996  less store/pages/research.md
  997  omd
  998  omd --help
  999  omd store/pages/research.md
 1000  omd -m store/pages/research.md
 1001  cd omd
 1002  ll
 1003  git pull upstream master
 1004  git lg
 1005  cd -
 1006  ocamlfind query omd
 1007  ocamlfind remove omd
 1008  opam pin omd none
 1009  opam remove omd
 1010  opam pin omd 0.9.4
 1011  opam info omd
 1012  opam install omd
 1013  make clean
 1014  make
 1015  make build && sudo make run
 1016  sudo  ifconfig tap0 10.0.0.1 255.255.255.0 && fg
 1017  opam pin
 1018  opam install mirage
mor1 commented 10 years ago

here's the output i just got when it started installing properly, up to the point where CUDF says it's got something to do and it starts doing it:

: mort@greyjay:mort-www#master *%= $; opam install --debug mirage
00:00.000  003354  3354                    locking /Users/mort/.opam/lock
00:00.001  003354  FILE(config)            Read ~/.opam/config in 0.000s
00:00.001  003354  SYSTEM                  unlocking /Users/mort/.opam/lock (3354)
00:00.001  003354  SYSTEM                  rm /Users/mort/.opam/lock
00:00.001  003354  STATE                   LOAD-STATE(switch-lock)
00:00.001  003354  FILE(config)            Read ~/.opam/config in 0.000s
00:00.009  003354  STATE                   Loaded /Users/mort/.opam/state.cache in 0.007s
00:00.009  003354  FILE(aliases)           Read ~/.opam/aliases in 0.000s
00:00.012  003354  FILE(repo-config)       Read ~/.opam/repo/upstream/config in 0.000s
00:00.012  003354  FILE(repo-config)       Read ~/.opam/repo/default/config in 0.000s
00:00.013  003354  FILE(repo-config)       Read ~/.opam/repo/local/config in 0.000s
00:00.023  003354  FILE(repo-index)        Read ~/.opam/repo/package-index in 0.011s
00:00.023  003354  FILE(repo-index)        Read ~/.opam/repo/compiler-index in 0.000s
00:00.023  003354  FILE(pinned)            Read ~/.opam/system/pinned in 0.000s
00:00.024  003354  FILE(installed)         Read ~/.opam/system/installed in 0.000s
00:00.024  003354  FILE(installed.roots)   Read ~/.opam/system/installed.roots in 0.000s
00:00.030  003354  FILE(reinstall)         Read ~/.opam/system/reinstall in 0.000s
00:00.030  003354  STATE                   ROOT      : /Users/mort/.opam
00:00.030  003354  STATE                   SWITCH    : system
00:00.030  003354  STATE                   COMPILER  : system
00:00.030  003354  STATE                   COMPILERS : { 3.11.2, 3.12.1, 3.12.1+natdynlink-osx, 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+BER, 4.01.0+PIC, 4.01.0+fp, 4.01.0beta1, 4.01.0beta1+no-camlp4, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0dev+fp, 4.02.0dev+trunk, system }
00:00.030  003354  STATE                   REPOS     : { default, local, upstream }
00:00.030  003354  STATE                   PACKAGES  : 1984 packages
00:00.030  003354  STATE                   INSTALLED : { base-bigarray.base, base-threads.base, base-unix.base, camomile.0.8.5, cmdliner.0.9.2, cohttp.0.9.15, cow.0.9.1, cowabloga.pinned, crunch.1.2.3, cstruct.1.0.1, dyntype.0.9.0, fat-filesystem.pinned, fieldslib.109.20.02, fileutils.0.4.4, io-page.1.0.1, io-page-unix.0.9.9, ipaddr.1.0.0, lambda-term.1.5, lwt.2.4.4, mirage-block-unix.1.2.1, mirage-clock-unix.1.0.0, mirage-console-unix.pinned, mirage-http-unix.1.0.0, mirage-net-unix.1.0.1, mirage-tcpip-unix.pinned, mirage-types.1.1.0, mirage-unix.1.0.1, oasis.0.4.1, ocaml-data-notation.0.0.11, ocamlfind.1.4.0, ocamlify.0.0.1, ocamlmod.0.0.4, ocp-build.1.99.6-beta, ocp-indent.pinned, ocplib-endian.0.4, omd.pinned, optcomp.1.5, ounit.2.0.0, re.1.2.1, react.0.9.4, sexplib.109.60.00, shared-memory-ring.1.0.0, ssl.0.4.6, tuntap.0.7.0, type_conv.109.60.00, typerex.1.99.6-beta, ulex.1.1, uri.1.3.13, utop.1.10, xmlm.1.2.0, zed.1.2 }
00:00.092  003354  STATE                   ROOTS     : { base-bigarray.base, base-threads.base, base-unix.base, cmdliner.0.9.2, cow.0.9.1, cowabloga.pinned, crunch.1.2.3, fat-filesystem.pinned, lwt.2.4.4, mirage-console-unix.pinned, mirage-http-unix.1.0.0, mirage-unix.1.0.1, oasis.0.4.1, ocamlfind.1.4.0, ocp-build.1.99.6-beta, ocp-indent.pinned, omd.pinned, ssl.0.4.6, utop.1.10 }
00:00.092  003354  STATE                   REINSTALL : {}
00:00.092  003354  STATE                   State switch-lock loaded in 0.029s
00:00.109  003354  SYSTEM                  [log-3354-5a61c5] (in 0.003s) ocamlc -version
00:00.109  003354  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.001s
[NOTE] /Users/mort/.opam/system/packages.dev/mirage.pinned exists although mirage.pinned is not installed. Removing it.
00:00.109  003354  FILENAME                rmdir /Users/mort/.opam/system/packages.dev/mirage.pinned
00:00.110  003354  SYSTEM                  rmdir /Users/mort/.opam/system/packages.dev/mirage.pinned
00:00.125  003354  3354                    locking /Users/mort/.opam/system/lock
00:00.125  003354  STATE                   LOAD-STATE(install)
00:00.125  003354  FILE(config)            Read ~/.opam/config in 0.000s
00:00.132  003354  STATE                   Loaded /Users/mort/.opam/state.cache in 0.007s
00:00.132  003354  FILE(aliases)           Read ~/.opam/aliases in 0.000s
00:00.135  003354  FILE(repo-config)       Read ~/.opam/repo/upstream/config in 0.000s
00:00.135  003354  FILE(repo-config)       Read ~/.opam/repo/default/config in 0.000s
00:00.135  003354  FILE(repo-config)       Read ~/.opam/repo/local/config in 0.000s
00:00.148  003354  FILE(repo-index)        Read ~/.opam/repo/package-index in 0.013s
00:00.148  003354  FILE(repo-index)        Read ~/.opam/repo/compiler-index in 0.000s
00:00.149  003354  FILE(pinned)            Read ~/.opam/system/pinned in 0.000s
00:00.149  003354  FILE(installed)         Read ~/.opam/system/installed in 0.000s
00:00.149  003354  FILE(installed.roots)   Read ~/.opam/system/installed.roots in 0.000s
00:00.182  003354  FILE(reinstall)         Read ~/.opam/system/reinstall in 0.000s
00:00.182  003354  STATE                   ROOT      : /Users/mort/.opam
00:00.182  003354  STATE                   SWITCH    : system
00:00.182  003354  STATE                   COMPILER  : system
00:00.182  003354  STATE                   COMPILERS : { 3.11.2, 3.12.1, 3.12.1+natdynlink-osx, 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+BER, 4.01.0+PIC, 4.01.0+fp, 4.01.0beta1, 4.01.0beta1+no-camlp4, 4.01.0dev+extension-points, 4.01.0dev+fp, 4.01.0dev+trunk, 4.02.0dev+fp, 4.02.0dev+trunk, system }
00:00.182  003354  STATE                   REPOS     : { default, local, upstream }
00:00.182  003354  STATE                   PACKAGES  : 1984 packages
00:00.182  003354  STATE                   INSTALLED : { base-bigarray.base, base-threads.base, base-unix.base, camomile.0.8.5, cmdliner.0.9.2, cohttp.0.9.15, cow.0.9.1, cowabloga.pinned, crunch.1.2.3, cstruct.1.0.1, dyntype.0.9.0, fat-filesystem.pinned, fieldslib.109.20.02, fileutils.0.4.4, io-page.1.0.1, io-page-unix.0.9.9, ipaddr.1.0.0, lambda-term.1.5, lwt.2.4.4, mirage-block-unix.1.2.1, mirage-clock-unix.1.0.0, mirage-console-unix.pinned, mirage-http-unix.1.0.0, mirage-net-unix.1.0.1, mirage-tcpip-unix.pinned, mirage-types.1.1.0, mirage-unix.1.0.1, oasis.0.4.1, ocaml-data-notation.0.0.11, ocamlfind.1.4.0, ocamlify.0.0.1, ocamlmod.0.0.4, ocp-build.1.99.6-beta, ocp-indent.pinned, ocplib-endian.0.4, omd.pinned, optcomp.1.5, ounit.2.0.0, re.1.2.1, react.0.9.4, sexplib.109.60.00, shared-memory-ring.1.0.0, ssl.0.4.6, tuntap.0.7.0, type_conv.109.60.00, typerex.1.99.6-beta, ulex.1.1, uri.1.3.13, utop.1.10, xmlm.1.2.0, zed.1.2 }
00:00.182  003354  STATE                   ROOTS     : { base-bigarray.base, base-threads.base, base-unix.base, cmdliner.0.9.2, cow.0.9.1, cowabloga.pinned, crunch.1.2.3, fat-filesystem.pinned, lwt.2.4.4, mirage-console-unix.pinned, mirage-http-unix.1.0.0, mirage-unix.1.0.1, oasis.0.4.1, ocamlfind.1.4.0, ocp-build.1.99.6-beta, ocp-indent.pinned, omd.pinned, ssl.0.4.6, utop.1.10 }
00:00.182  003354  STATE                   REINSTALL : {}
00:00.182  003354  STATE                   State install loaded in 0.029s
00:00.182  003354  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.183  003354  FILE(export)            Wrote ~/.opam/system/backup/state-20140028163420.export in 0.000s
00:00.183  003354  CLIENT                  INSTALL { mirage }
00:00.203  003354  FILE(opam)              Read ~/.opam/system/overlay/cowabloga.pinned/opam in 0.000s
00:00.203  003354  FILE(opam)              Read ~/.opam/system/overlay/cowabloga.pinned/opam in 0.000s
00:00.205  003354  FILE(opam)              Read ~/.opam/system/overlay/fat-filesystem.pinned/opam in 0.000s
00:00.205  003354  FILE(opam)              Read ~/.opam/system/overlay/fat-filesystem.pinned/opam in 0.000s
00:00.209  003354  FILE(.config)           Read ~/.opam/system/config/global-config.config in 0.000s
00:00.210  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.210  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.210  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage-console-unix.pinned/opam in 0.000s
00:00.210  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage-console-unix.pinned/opam in 0.000s
00:00.211  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage-tcpip-unix.pinned/opam in 0.000s
00:00.215  003354  FILE(opam)              Read ~/.opam/system/overlay/ocp-indent.pinned/opam in 0.000s
00:00.216  003354  FILE(opam)              Read ~/.opam/system/overlay/omd.pinned/opam in 0.000s
00:00.216  003354  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.216  003354  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.216  003354  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.216  003354  FILE(comp)              Read ~/.opam/compilers/system/system/system.comp in 0.000s
00:00.300  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.300  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.300  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.300  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.300  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.300  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.301  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.301  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.301  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.301  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.301  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.301  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.302  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.303  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.303  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.303  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.303  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.303  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.303  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
00:00.309  003354  SYSTEM                  [log-3354-4bcc67] (in 0.002s) which aspcud
00:00.346  003354  SOLVER                  resolve request=install:(base-bigarray & base-threads & base-unix & cmdliner & cow & crunch & lwt & mirage-http-unix & mirage-unix & oasis & ocamlfind & ocp-build & ssl & utop) remove:() upgrade:(mirage)
00:01.771  003354  HEURISTIC               implicit-installed: { ocamlfind.189(installed), re.167(installed), cmdliner.98(installed) }
00:01.771  003354  HEURISTIC               implicit-not-installed:
00:01.771  003354  HEURISTIC               state_of_request
00:02.270  003354  HEURISTIC               explore
00:02.270  003354  HEURISTIC               brute-force
00:02.287  003354  HEURISTIC               STATE(0) { mirage.157(installed) }
00:02.287  003354  HEURISTIC               refine request:install:(utop & ssl & ocp-build & ocamlfind & oasis & mirage-unix & mirage-http-unix & lwt & crunch & cow & cmdliner & base-unix & base-threads & base-bigarray) remove:() upgrade:(mirage) state:{ mirage.157(installed) }
00:02.287  003354  HEURISTIC               installed-first ocamlfind
00:02.305  003354  HEURISTIC               keep ocamlfind with the same version
00:02.305  003354  HEURISTIC               installed-first re
00:02.336  003354  HEURISTIC               keep re with the same version
00:02.336  003354  HEURISTIC               installed-first cmdliner
00:02.364  003354  HEURISTIC               keep cmdliner with the same version
00:02.364  003354  HEURISTIC               STATE(1) { cmdliner.98(installed), re.167(installed), ocamlfind.189(installed), mirage.157(installed) }
00:02.364  003354  HEURISTIC               installed-first cow
00:02.391  003354  HEURISTIC               keep cow with the same version
00:02.391  003354  HEURISTIC               installed-first ocp-build
00:02.418  003354  HEURISTIC               keep ocp-build with the same version
00:02.418  003354  HEURISTIC               installed-first uri
00:02.439  003354  HEURISTIC               keep uri with the same version
00:02.439  003354  HEURISTIC               installed-first lwt
00:02.462  003354  HEURISTIC               keep lwt with the same version
00:02.462  003354  HEURISTIC               installed-first ocp-indent
00:02.494  003354  HEURISTIC               keep ocp-indent with the same version
00:02.494  003354  HEURISTIC               installed-first crunch
00:02.518  003354  HEURISTIC               keep crunch with the same version
00:02.518  003354  HEURISTIC               installed-first ipaddr
00:02.566  003354  HEURISTIC               keep ipaddr with the same version
00:02.566  003354  HEURISTIC               installed-first io-page
00:02.586  003354  HEURISTIC               keep io-page with the same version
00:02.586  003354  HEURISTIC               installed-first sexplib
00:02.603  003354  HEURISTIC               keep sexplib with the same version
00:02.603  003354  HEURISTIC               installed-first ocamlify
00:02.622  003354  HEURISTIC               keep ocamlify with the same version
00:02.622  003354  HEURISTIC               installed-first mirage-block-unix
00:02.641  003354  HEURISTIC               keep mirage-block-unix with the same version
00:02.641  003354  HEURISTIC               installed-first ounit
00:02.661  003354  HEURISTIC               keep ounit with the same version
00:02.661  003354  HEURISTIC               installed-first omd
00:02.678  003354  HEURISTIC               keep omd with the same version
00:02.678  003354  HEURISTIC               installed-first type%5fconv
00:02.701  003354  HEURISTIC               keep type%5fconv with the same version
00:02.701  003354  HEURISTIC               installed-first shared-memory-ring
00:02.721  003354  HEURISTIC               keep shared-memory-ring with the same version
00:02.721  003354  HEURISTIC               installed-first optcomp
00:02.761  003354  HEURISTIC               keep optcomp with the same version
00:02.761  003354  HEURISTIC               installed-first utop
00:02.780  003354  HEURISTIC               keep utop with the same version
00:02.780  003354  HEURISTIC               installed-first cowabloga
00:02.797  003354  HEURISTIC               keep cowabloga with the same version
00:02.797  003354  HEURISTIC               installed-first ulex
00:02.823  003354  HEURISTIC               keep ulex with the same version
00:02.823  003354  HEURISTIC               installed-first mirage-clock-unix
00:02.842  003354  HEURISTIC               keep mirage-clock-unix with the same version
00:02.842  003354  HEURISTIC               installed-first cstruct
00:02.863  003354  HEURISTIC               keep cstruct with the same version
00:02.863  003354  HEURISTIC               installed-first zed
00:02.880  003354  HEURISTIC               keep zed with the same version
00:02.880  003354  HEURISTIC               installed-first cohttp
00:02.900  003354  HEURISTIC               keep cohttp with the same version
00:02.900  003354  HEURISTIC               installed-first typerex
00:02.925  003354  HEURISTIC               keep typerex with the same version
00:02.925  003354  HEURISTIC               installed-first ocamlmod
00:02.963  003354  HEURISTIC               keep ocamlmod with the same version
00:02.963  003354  HEURISTIC               installed-first ssl
00:02.988  003354  HEURISTIC               keep ssl with the same version
00:02.988  003354  HEURISTIC               installed-first camomile
00:03.006  003354  HEURISTIC               keep camomile with the same version
00:03.006  003354  HEURISTIC               installed-first react
00:03.028  003354  HEURISTIC               keep react with the same version
00:03.028  003354  HEURISTIC               installed-first ocplib-endian
00:03.050  003354  HEURISTIC               keep ocplib-endian with the same version
00:03.050  003354  HEURISTIC               installed-first ocaml-data-notation
00:03.069  003354  HEURISTIC               keep ocaml-data-notation with the same version
00:03.069  003354  HEURISTIC               installed-first base-threads
00:03.094  003354  HEURISTIC               keep base-threads with the same version
00:03.094  003354  HEURISTIC               installed-first base-bigarray
00:03.115  003354  HEURISTIC               keep base-bigarray with the same version
00:03.115  003354  HEURISTIC               installed-first lambda-term
00:03.135  003354  HEURISTIC               keep lambda-term with the same version
00:03.135  003354  HEURISTIC               installed-first io-page-unix
00:03.154  003354  HEURISTIC               keep io-page-unix with the same version
00:03.154  003354  HEURISTIC               installed-first fileutils
00:03.175  003354  HEURISTIC               keep fileutils with the same version
00:03.175  003354  HEURISTIC               installed-first mirage-http-unix
00:03.194  003354  HEURISTIC               keep mirage-http-unix with the same version
00:03.194  003354  HEURISTIC               installed-first xmlm
00:03.213  003354  HEURISTIC               keep xmlm with the same version
00:03.213  003354  HEURISTIC               installed-first fieldslib
00:03.240  003354  HEURISTIC               keep fieldslib with the same version
00:03.240  003354  HEURISTIC               installed-first mirage-unix
00:03.259  003354  HEURISTIC               keep mirage-unix with the same version
00:03.259  003354  HEURISTIC               installed-first fat-filesystem
00:03.277  003354  HEURISTIC               keep fat-filesystem with the same version
00:03.277  003354  HEURISTIC               installed-first base-unix
00:03.300  003354  HEURISTIC               keep base-unix with the same version
00:03.300  003354  HEURISTIC               installed-first mirage-types
00:03.320  003354  HEURISTIC               keep mirage-types with the same version
00:03.320  003354  HEURISTIC               installed-first mirage-net-unix
00:03.340  003354  HEURISTIC               keep mirage-net-unix with the same version
00:03.340  003354  HEURISTIC               installed-first oasis
00:03.362  003354  HEURISTIC               keep oasis with the same version
00:03.362  003354  HEURISTIC               installed-first dyntype
00:03.383  003354  HEURISTIC               keep dyntype with the same version
00:03.384  003354  HEURISTIC               installed-first tuntap
00:03.407  003354  HEURISTIC               keep tuntap with the same version
00:03.407  003354  HEURISTIC               installed-first mirage-tcpip-unix
00:03.428  003354  HEURISTIC               keep mirage-tcpip-unix with the same version
00:03.428  003354  HEURISTIC               installed-first mirage-console-unix
00:03.455  003354  HEURISTIC               keep mirage-console-unix with the same version
00:03.455  003354  HEURISTIC               STATE(2) { mirage-console-unix.146(installed), mirage-tcpip-unix.102(installed), tuntap.79(installed), dyntype.96(installed), oasis.48(installed), mirage-net-unix.147(installed), mirage-types.157(installed), base-unix.419(installed), fat-filesystem.116(installed), mirage-unix.147(installed), fieldslib.362(installed), xmlm.166(installed), mirage-http-unix.146(installed), fileutils.51(installed), io-page-unix.108(installed), lambda-term.195(installed), base-bigarray.419(installed), base-threads.419(installed), ocaml-data-notation.12(installed), ocplib-endian.46(installed), react.100(installed), camomile.92(installed), ssl.53(installed), ocamlmod.7(installed), typerex.239(installed), cohttp.114(installed), zed.165(installed), cstruct.147(installed), mirage-clock-unix.146(installed), ulex.156(installed), cowabloga.5(installed), utop.224(installed), optcomp.195(installed), shared-memory-ring.146(installed), type%5fconv.400(installed), omd.100(installed), ounit.242(installed), mirage-block-unix.167(installed), ocamlify.4(installed), sexplib.400(installed), io-page.147(installed), ipaddr.146(installed), crunch.169(installed), ocp-indent.177(installed), lwt.271(installed), uri.187(installed), ocp-build.239(installed), cow.97(installed), cmdliner.98(installed), re.167(installed), ocamlfind.189(installed), mirage.157(installed) }
00:03.455  003354  HEURISTIC               actions_of_state { mirage-console-unix.146(installed), mirage-tcpip-unix.102(installed), tuntap.79(installed), dyntype.96(installed), oasis.48(installed), mirage-net-unix.147(installed), mirage-types.157(installed), base-unix.419(installed), fat-filesystem.116(installed), mirage-unix.147(installed), fieldslib.362(installed), xmlm.166(installed), mirage-http-unix.146(installed), fileutils.51(installed), io-page-unix.108(installed), lambda-term.195(installed), base-bigarray.419(installed), base-threads.419(installed), ocaml-data-notation.12(installed), ocplib-endian.46(installed), react.100(installed), camomile.92(installed), ssl.53(installed), ocamlmod.7(installed), typerex.239(installed), cohttp.114(installed), zed.165(installed), cstruct.147(installed), mirage-clock-unix.146(installed), ulex.156(installed), cowabloga.5(installed), utop.224(installed), optcomp.195(installed), shared-memory-ring.146(installed), type%5fconv.400(installed), omd.100(installed), ounit.242(installed), mirage-block-unix.167(installed), ocamlify.4(installed), sexplib.400(installed), io-page.147(installed), ipaddr.146(installed), crunch.169(installed), ocp-indent.177(installed), lwt.271(installed), uri.187(installed), ocp-build.239(installed), cow.97(installed), cmdliner.98(installed), re.167(installed), ocamlfind.189(installed), mirage.157(installed) }
00:04.322  003354  CUDF                    graph_of_actions root_actions={  - install mirage.157 }
00:04.323  003354  SOLUTION                apply
digraph G {
  " - install mirage.pinned";

  }The following actions will be performed:
 - install mirage.pinned
00:04.323  003354  FILE(opam)              Read ~/.opam/system/overlay/mirage.pinned/opam in 0.000s
1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove
mor1 commented 10 years ago

and finally, here's what i think is the set of interactions i had with opam in the interim (i was checking the version of omd to track down an odd bug i think i've spotted):

first, removing it:

: mort@greyjay:omd#master> $; opam remove omd
The following actions will be performed:
 - remove cowabloga.pinned [use omd]
 - remove cow.0.9.1 [use omd]
 - remove omd.0.9.5
0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 3 to remove
Do you want to continue ? [Y/n]

=-=-= Removing Packages =-=-=
Removing cowabloga.pinned.
  ocamlfind remove cowabloga
Removing cow.0.9.1.
  ocamlfind remove cow
Removing omd.0.9.5.
  ocamlfind remove omd

then trying to pin to an old version:

: mort@greyjay:omd#master> $; opam pin omd 0.9.4
[NOTE] /Users/mort/.opam/packages.dev/cow.0.9.1 exists although cow.0.9.1 is not installed. Removing it.
[NOTE] /Users/mort/.opam/packages.dev/omd.0.9.5 exists although omd.0.9.5 is not installed. Removing it.

then some very strange behaviour:

: mort@greyjay:mort-www#master *%= $; opam info omd
'opam info omd' failed.
# opam-version    1.1.0
# os              darwin
locally pinned
Backtrace:
  Raised at file "src/core/opamSystem.ml", line 26, characters 10-30
  Called from file "src/client/opamState.ml", line 461, characters 19-45
  Called from file "src/client/opamState.ml", line 465, characters 12-45
  Called from file "src/client/opamClient.ml", line 275, characters 21-74
  Called from file "map.ml", line 168, characters 20-25
  Called from file "src_ext/cmdliner/src/cmdliner.ml", line 1142, characters 17-26
  Called from file "src_ext/cmdliner/src/cmdliner.ml", line 1178, characters 6-34
  Called from file "src/client/opamArg.ml", line 1300, characters 10-56
: mort@greyjay:mort-www#master *%= $; ocamlfind query omd
/Users/mort/.opam/system/lib/omd
: mort@greyjay:mort-www#master *%= $; ocamlfind remove omd
Removed /Users/mort/.opam/system/lib/omd
: mort@greyjay:mort-www#master *%= $; opam info omd
'opam info omd' failed.
# opam-version    1.1.0
# os              darwin
locally pinned
Backtrace:
  Raised at file "src/core/opamSystem.ml", line 26, characters 10-30
  Called from file "src/client/opamState.ml", line 461, characters 19-45
  Called from file "src/client/opamState.ml", line 465, characters 12-45
  Called from file "src/client/opamClient.ml", line 275, characters 21-74
  Called from file "map.ml", line 168, characters 20-25
  Called from file "src_ext/cmdliner/src/cmdliner.ml", line 1142, characters 17-26
  Called from file "src_ext/cmdliner/src/cmdliner.ml", line 1178, characters 6-34
  Called from file "src/client/opamArg.ml", line 1300, characters 10-56
: mort@greyjay:mort-www#master *%= $; opam pin omd none
[NOTE] /Users/mort/.opam/packages.dev/omd.0.9.4 exists although omd.0.9.4 is not installed. Removing it.
: mort@greyjay:mort-www#master *%= $;
: mort@greyjay:mort-www#master *%= $;
: mort@greyjay:mort-www#master *%= $; opam info omd
             package: omd
             version: 0.9.4
          repository: upstream
        upstream-url: http://pw374.github.io/distrib/omd/omd-0.9.4.tar.gz
       upstream-kind: http
   upstream-checksum: 2fadfd967930e1c0f2029f9b5cd10575
            homepage: https://github.com/pw374/omd
              author: Philippe Wang <philippe.wang@gmail.com>
             license: ISC
                tags: org:ocamllabs, org:mirage
             depends: ocamlfind
   installed-version: omd.0.9.4 [system]
  available-versions: 0.1, 0.2, 0.3, 0.4, 0.5, 0.5.4, 0.5.5, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 0.6.4, 0.6.5, 0.7.0, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.8.0, 0.8.1, 0.8.2, 0.9.0, 0.9.1, 0.9.3, 0.9.5
         description: A Markdown frontend in pure OCaml.
This Markdown library is implemented using only pure OCaml (including
I/O operations provided by the standard OCaml compiler distribution).
Omd is meant to be as faithful as possible to the original Markdown.
Additionally, Omd implements a few Github markdown features, an
extension mechanism, and a few other features. Note that the opam
package installs both the Omd library and the command line tool `omd`.

: mort@greyjay:mort-www#master *%= $; opam remove omd
The following actions will be performed:
 - remove cowabloga.pinned
 - remove cow.0.9.1
 - remove omd.0.9.4
0 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 3 to remove
Do you want to continue ? [Y/n]

=-=-= Removing Packages =-=-=
Removing cowabloga.pinned.
  ocamlfind remove cowabloga
Removing cow.0.9.1.
  ocamlfind remove cow
Removing omd.0.9.4.
  ocamlfind remove omd
: mort@greyjay:mort-www#master *%= $; opam info omd
             package: omd
             version: 0.9.5
          repository: upstream
        upstream-url: http://pw374.github.io/distrib/omd/omd-0.9.5.tar.gz
       upstream-kind: http
   upstream-checksum: dd48b6f28f78da44cceff249b504196d
            homepage: https://github.com/pw374/omd
              author: Philippe Wang <philippe.wang@gmail.com>
             license: ISC
                tags: org:ocamllabs, org:mirage
             depends: ocamlfind
   installed-version:
  available-versions: 0.1, 0.2, 0.3, 0.4, 0.5, 0.5.4, 0.5.5, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 0.6.4, 0.6.5, 0.7.0, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.8.0, 0.8.1, 0.8.2, 0.9.0, 0.9.1, 0.9.3, 0.9.4, 0.9.5
         description: A Markdown frontend in pure OCaml.
This Markdown library is implemented using only pure OCaml (including
I/O operations provided by the standard OCaml compiler distribution).
Omd is meant to be as faithful as possible to the original Markdown.
Additionally, Omd implements a few Github markdown features, an
extension mechanism, and a few other features. Note that the opam
package installs both the Omd library and the command line tool `omd`.

: mort@greyjay:mort-www#master *%= $; opam pin omd 0.9.4
[NOTE] /Users/mort/.opam/packages.dev/cow.0.9.1 exists although cow.0.9.1 is not installed. Removing it.
: mort@greyjay:mort-www#master *%= $; opam info omd
             package: omd
             version: 0.9.4
              pinned: true
        upstream-url: http://pw374.github.io/distrib/omd/omd-0.9.4.tar.gz
       upstream-kind: http
   upstream-checksum: 2fadfd967930e1c0f2029f9b5cd10575
            homepage: https://github.com/pw374/omd
              author: Philippe Wang <philippe.wang@gmail.com>
             license: ISC
                tags: org:ocamllabs, org:mirage
             depends: ocamlfind
   installed-version:
  available-versions: 0.1, 0.2, 0.3, 0.4, 0.5, 0.5.4, 0.5.5, 0.6.0, 0.6.1, 0.6.2, 0.6.3, 0.6.4, 0.6.5, 0.7.0, 0.7.1, 0.7.2, 0.7.3, 0.7.4, 0.7.5, 0.8.0, 0.8.1, 0.8.2, 0.9.0, 0.9.1, 0.9.3, 0.9.4, 0.9.5, pinned
         description: A Markdown frontend in pure OCaml.
This Markdown library is implemented using only pure OCaml (including
I/O operations provided by the standard OCaml compiler distribution).
Omd is meant to be as faithful as possible to the original Markdown.
Additionally, Omd implements a few Github markdown features, an
extension mechanism, and a few other features. Note that the opam
package installs both the Omd library and the command line tool `omd`.

: mort@greyjay:mort-www#master *%= $; opam install omd
The following actions will be performed:
 - install omd.pinned
1 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove

=-=-= Installing omd.pinned =-=-=
omd.pinned Downloading http://pw374.github.io/distrib/omd/omd-0.9.4.tar.gz
Copying ~/.opam/system/overlay/omd.pinned/files/omd.install to ~/.opam/system/build/omd.pinned/
Building omd.pinned:
  ocaml setup.ml -configure --prefix /Users/mort/.opam/system
  ocaml setup.ml -build
  ocaml setup.ml -install
Installing omd.pinned.
AltGr commented 10 years ago

After a while tracking, looks like you got in the middle of several issues here (sorry !)

So I guess we're now good for this issue

mor1 commented 10 years ago

great, thanks for tracking it down!

On 7 Mar 2014, at 12:00, Louis Gesbert notifications@github.com wrote:

After a while tracking, looks like you got in the middle of several issues here (sorry !)

• mistakenly removed metadata (#1099) • then causing problems with the solver • and the conflicts not being displayed (silent failure) (#1105, etc.) So I guess we're now good for this issue

— Reply to this email directly or view it on GitHub.

Cheers,

R.