On Thu, Aug 15, 2013 at 10:09:01AM +0100, Colin Adams wrote:
> CIL version CIL_VERSION1.6.0
Could you please try with the latest version from git? 1.6.0 is very old and
completely unsupported nowadays.
git clone https://github.com/kerneis/cil
If it still fails, send c
On Thu, Aug 15, 2013 at 09:28:03AM +0100, Colin Adams wrote:
> Now I have configure working, but make is failing:
>
> ocamlc.opt: unknown warning option+.
>
> I don't know ocaml at all, and googling fails to find this particular text
> (with the plus sign).
>
> (this is on windows - cygwin).
Gr
Now I have configure working, but make is failing:
ocamlc.opt: unknown warning option+.
I don't know ocaml at all, and googling fails to find this particular text
(with the plus sign).
(this is on windows - cygwin).
--
G
