Closed ogunden closed 11 years ago
The previous version of omake was working on this system. Is there an easy way to revert to an earlier version?
=-=-= Installing omake.0.9.8.6-0.rc1 =-=-= Downloading http://omake.metaprl.org/downloads/omake-0.9.8.6-0.rc1.tar.gz. Copying omake.install. Copying opam.patch. Creating /opt/opam/repo/ogunden.ocaml-curses/archives/omake.0.9.8.6-0.rc1+opam.tar.gz. Extracting /opt/opam/archives/omake.0.9.8.6-0.rc1+opam.tar.gz. Applying opam.patch. Building omake.0.9.8.6-0.rc1: make bootstrap PREFIX=/opt/opam/4.00.1 make all PREFIX=/opt/opam/4.00.1 make install PREFIX=/opt/opam/4.00.1 Installing omake.0.9.8.6-0.rc1. The compilation of omake.0.9.8.6-0.rc1 failed. Uninstalling omake.0.9.8.6-0.rc1. ==== ERROR [while installing omake.0.9.8.6-0.rc1] ==== Internal error: Cannot remove /opt/opam/4.00.1/build/omake.0.9.8.6-0.rc1/src/main (opam: "rmdir" failed on /opt/opam/4.00.1/build/omake.0.9.8.6-0.rc1/src/main: Directory not empty). 'opam install omake' failed.
well, nevermind, after updating opam from 0.9.5 to 1.0.0 this seems to have been fixed. Now I only wish opam would update itself :)
The previous version of omake was working on this system. Is there an easy way to revert to an earlier version?