Bug #8031
openWhy3IDE не запускается из-за неверной темы
0%
Description
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing ../../../../olga/a.c (with preprocessing)
[Jessie2] Starting Jessie translation
[Jessie2] warning: \separated is not supported by Jessie. This predicate will be ignored
[Jessie2] Producing Jessie files in subdir /home/student/olga/a.jessie
[Jessie2] File /home/student/olga/a.jessie/a.jc written.
[Jessie2] File /home/student/olga/a.jessie/a.cloc written.
[Jessie2] Calling Jessie tool in subdir /home/student/olga/a.jessie
[Jessie2] Calling VCs generator.
why3 ide --extra-config /home/student/.opam/4.03.0/lib/jessie/why3/why3.conf a.mlw
[Config] reading extra configuration file /home/student/.opam/4.03.0/lib/jessie/why3/why3.conf
Fatal error: exception Glib.GError("\208\157\208\181 \209\131\208\180\208\176\208\187\208\190\209\129\209\140 \208\190\209\130\208\186\209\128\209\139\209\130\209\140 \209\132\208\176\208\185\208\187 \194\171/home/student/.opam/4.03.0/share/why3/images/boomy/delete.png\194\187: \208\157\208\181\209\130 \209\130\208\176\208\186\208\190\208\179\208\190 \209\132\208\176\208\185\208\187\208\176 \208\184\208\187\208\184 \208\186\208\176\209\130\208\176\208\187\208\190\208\179\208\176")
a.makefile:15: ошибка выполнения рецепта для цели «why3ide»
make: *** [why3ide] Ошибка 2
[Jessie2] user error: Jessie subprocess failed: make -f a.makefile why3ide
[kernel] Plug-in Jessie2 aborted: invalid user input.
Имеется тема fatcow, но нет темы boomy. В инструкции по установке не описана подобная ситуация и не написано, как изменить тему.
Updated by Eugene Kornykhin about 7 years ago
Оказывается, проблема была в том, что до вызова why3 config уже был файл .why3.conf. И этот вызов why3 config не сделал актуальным содержимое файла .why3.conf. Можно ли исправить это поведение?