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?
ygwin.
On 15 August 2013 09:13, Jonathan Kotker wrote:
> 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.
>
>
>
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
I'm running cilly --mode=AR and it is failing with the message:
The command
/usr/local/bin/cilly.native.exe ..
received signal %d
127
I guess that 127 means it couldn't find a command (I'm running under
cygwin). How does one go about diagnosing what might be wrong?
---
I can't find the word "received" in the source code, so I guess it is
coming from the ocaml runtime. I've never done any ocaml programming, so i
don't know how to go about debugging this - is there a debugger one can use?
On 20 August 2013 16:11, Colin Adams wrote:
&
OK thanks.
I'd just found out about ocamldebug, but it seems to insist on a bytecode
file, and there doesn't seem to be an option to compile cil to byte code.
I'll just wait for you instead.
On 21 August 2013 10:56, Gabriel Kerneis wrote:
> On Wed, Aug 21, 2013 at 10:44
:
> On Wed, Aug 21, 2013 at 10:58:25AM +0100, Colin Adams wrote:
> > I'd just found out about ocamldebug, but it seems to insist on a bytecode
> > file, and there doesn't seem to be an option to compile cil to byte code.
>
> The latest version in the develop bran
That fixed it.
Thanks.
On 21 August 2013 11:17, Gabriel Kerneis wrote:
> On Wed, Aug 21, 2013 at 11:10:45AM +0100, Colin Adams wrote:
> > Should I have done something different? (the commit I pulled was
> > 2c84963..4994a6e)
>
> Pull again ;-)
>
>
> https:/
