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
Thanks.
Actually I had deleted the cil directory to start again. This time there
was no problem.
I think the problem arose because I checked out using Git Bash (from
MINGW32), and then I found I couldn't configure from there (no gcc), so I
switched to cygwin.
This time I checked out from cygwin.
Try deleting the config.sub file, and then running the 'dos2unix' command
on the items in the folder: 'dos2unix *' That should convert the carriage
returns to the UNIX-specific newlines.
On 15 August 2013 01:09, Colin Adams wrote:
> I'm having a problem.
>
> When I run ./configure (from cygwin
I'm having a problem.
When I run ./configure (from cygwin bash shell) I get the error:
cannot run /bin/sh ./config.sub
If I try to run it myself, it complains about carriage returns.
Since that file is being generated by configure, I can't fix it directly.
Does anyone know what the solution is?