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 reinstall mirage` failed #161

Closed mor1 closed 12 years ago

mor1 commented 12 years ago

using current (just cloned) release of opam.

i had mirage installed using just the upstream ocamlpro package (0.4.0).

i added the mirage dev repo:

i then tried to reinstall mirage so as to get the upgrade (i didn't notice the -upgrade switch :) and received the following:

: rmm@stratus:mirage-v2$; opam reinstall mirage The following actions will be performed:

=-=-= mirage.0.4.1 =-=-= Uninstalling mirage.0.4.0 ... Fetching git://github.com/mirage/mirage-platform ... Extracting /home/rmm/.opam/archives/mirage.0.4.1+opam.tar.gz ... Build commands: make all make install Uninstalling mirage.0.4.1 ... The archive for mirage.0.4.1 is in the local cache. Extracting /home/rmm/.opam/archives/mirage.0.4.1+opam.tar.gz ... The recompilation of mirage.0.4.1 failed in /home/rmm/.opam/3.12.1+mirage-xen/build/mirage.0.4.1.

Recovering from errors: Installing mirage.0.4.0 ... /home/rmm/.opam/3.12.1+mirage-xen/build/mirage.0.4.0 does not exists! [ERROR] while upgrading to mirage.0.4.1 = [RUN] "make all" = [CWD] "/home/rmm/.opam/3.12.1+mirage-xen/build/mirage.0.4.1" = CAML_LD_LIBRARY_PATH=/home/rmm/.opam/system/lib/stublibs:/usr/lib/ocaml/stublibs = MANPATH=/opt/local/share/man:/opt/local/man:/usr/X11R6/man:/usr/share/man:/usr/local/man: = TERM=xterm = SHELL=/bin/bash = KERNEL=2.6.32.26 = XDG_SESSION_COOKIE=19a064492be65c01b90b82fb4cd04756-1347901071.467014-778584915 = SSH_CLIENT=128.243.22.249 57128 22 = OLDPWD=/home/rmm/mirage/mirage-v2/opam = SSH_TTY=/dev/pts/0 = OCAML_TOPLEVEL_PATH=/home/rmm/.opam/3.12.1+mirage-xen/lib/toplevel = NO_PROXY=localhost,127.0.0.1 = CDPATH=.:..:../..:../../..:../../../..:../../../../..:../../../../../..:../../../../../../..:../../../../../../../..:../../../../../../../../..:../../../../../../../../../..:/home/rmm = http_proxy=http://wwwcache.cs.nott.ac.uk:3128 = USER=rmm = MIRAGE_OS=xen = OPAM_MANPATH=/home/rmm/.opam/3.12.1+mirage-xen/man = PAGER=less = PATH=/home/rmm/.opam/3.12.1+mirage-xen/bin:/home/rmm/.opam/3.12.1+mirage-xen/bin:/home/rmm/bin/android-sdk-mac_86/tools:/home/rmm/bin:/opt/local/bin:/opt/local/sbin:/usr/X11R6/bin:/usr/local/bin:/usr/local/sbin:/usr/bin:/usr/sbin:/bin:/sbin = MAIL=/var/mail/rmm = PWD=/home/rmm/mirage/mirage-v2 = EDITOR=/usr/bin/vi = LANG=en_GB.UTF-8 = MIRAGE_NET=direct = PS1=[\e]0;${KERNEL} \u@\h:\w\a]: \u@\h:\W\$; = SPEECHD_PORT=12185 = MANPAGER=less -X = SHLVL=1 = HOME=/home/rmm = no_proxy=localhost,127.0.0.1 = HTTP_PROXY=http://wwwcache.cs.nott.ac.uk:3128 = SHOST=stratus = LHOST=stratus = LOGNAME=rmm = SSHCONNECTION=128.243.22.249 57128 128.243.21.99 22 = DISPLAY=localhost:10.0 = =/usr/local/bin/opam = MIRAGE_OS=xen

= MIRAGE_NET=direct

. cd xen && make all . /home/rmm/.opam/3.12.1+mirage-xen/build/mirage.0.4.1/xen . make[1]: Entering directory /home/rmm/.opam/3.12.1+mirage-xen/build/mirage.0.4.1/xen' . ./cmd configure xen . make[1]: Leaving directory/home/rmm/.opam/3.12.1+mirage-xen/build/mirage.0.4.1/xen'

mor1 commented 12 years ago

fwiw following that with opam upgrade mirage tells me that package xenstore is not found. install xenstore package permitted the upgrade to work.

avsm commented 12 years ago

this is @djs55 and my fault; he modified mirage/mirage-platform to separate out xenstore, but we neglected to update the OPAM packaging. Hang on...

djs55 commented 12 years ago

Oops, sorry!

Sent from my iPhone

On 17 Sep 2012, at 21:42, Anil Madhavapeddy notifications@github.com wrote:

this is @djs55 https://github.com/djs55 and my fault; he modified mirage/mirage-platform to separate out xenstore, but we neglected to update the OPAM packaging. Hang on...

— Reply to this email directly or view it on GitHubhttps://github.com/OCamlPro/opam/issues/161#issuecomment-8630117.

avsm commented 12 years ago

Should be fixed in opam-repo-dev now. The issue doesnt exist in the main repo since this dev version isn't released yet.