Re: [CIL users] Make failing with unknown ocaml option

2013-08-15 Thread Gabriel Kerneis
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

Re: [CIL users] Make failing with unknown ocaml option

2013-08-15 Thread Gabriel Kerneis
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

[CIL users] Make failing with unknown ocaml option

2013-08-15 Thread Colin Adams
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

Re: [CIL users] Compiling on Windows

2013-08-15 Thread Colin Adams
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.

Re: [CIL users] Compiling on Windows

2013-08-15 Thread Jonathan Kotker
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

[CIL users] Compiling on Windows

2013-08-15 Thread Colin Adams
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?