Actions
Bug #9284
openjingoo 1.2.18 падает generate.ml
Start date:
09/17/2018
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
В версии 1.2.18 jingoo стали убираться пробелы (trim).
В шаблоне lib/why3/z3_enum есть конструкции типа
{%- if something %}
aaa
{%- else %}
{%- endif %}
Соответственно после trim получается {% else %}{% endif %} подряд (без строки), и парсер падает.
Пока я в инструкцию на вики добавил пункт про установку jingoo.1.2.17.
В следующей версии jingoo баг будет исправлен.
(Но можно и удалить пустые else.)
Также для работы >= 1.2.18 нужно в generate.ml добавить новую зависимость:
Ocaml.packs := ["uucp";"jingoo"]
No data to display
Actions