У меня why3 не компилируется:
```
Ocamlopt lib/ocaml/why3__BigInt_compat.ml
File "lib/ocaml/why3__BigInt_compat.ml", line 2, characters 8-17:
Error: Unbound module Big_int_Z
make: *** [lib/ocaml/why3__BigInt_compat.cmx] Error 2
```
как это починить?
В lib/ocaml/why3__BigInt_compat.ml тупо содержится строка
```
include Big_int_Z
```
Мне новый окамль ставить или чо?
#049M88/Q1N
/ @j123123
/ 2967 дней назад
А все, надо было libzarith-ocaml-dev поставить. Они в ./configure эту херь не проверяют
#049M88/WAL
/ @j123123
/ 2967 дней назад
http://stackoverflow.com/questions/35742393/frama-c-make-error хуита, буду opam теперь еще ставить. ГОВНО
#049M88/IRG
/ @j123123
/ 2967 дней назад
@j123123 Окамл не отстает от моды, сорь.
#049M88/MXE
/ @komar
-->
#049M88/IRG
/ 2967 дней назад
Цоперайт © 2010-2016 @stiletto.