--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on June 2017 ---
Hi, I just followed the instruction using opam to install Phosphorus, but it said that, [NOTE] Package frama-c is already path-pinned to /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz. This will erase any previous custom definition. Proceed ? [Y/n] y [frama-c] /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz synchronized frama-c needs to be installed. The following actions will be performed: â install frama-c-base 20161101* [required by frama-c] Why3 can be used by the WP plug-in for running additional automatic solvers Coq can be used with the WP plug-in for proving interactively proof obligations â install frama-c 20161101* Alt-Ergo Graphical Interface can be used by the WP plug-in ===== â 2 ===== Do you want to continue ? [Y/n] y =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [frama-c-base.20161101] /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz already up-to-date [frama-c.20161101] /home/talos/Downloads/frama-c-Phosphorus-20170501.tar.gz already up-to-date =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= #=== ERROR while installing frama-c-base.20161101 =============================# These patches didn't apply at /home/talos/.opam/system/build/frama-c-base.20161101: - 4.05-support.patch =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The following actions were aborted â install frama-c 20161101 The following actions failed â install frama-c-base 20161101 No changes have been performed [NOTE] Pinning command successful, but your installed packages may be out of sync. I have installed silicon successfully Thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170603/af51c137/attachment.html>