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://github.com/kerneis/cil/commit/88b00
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://github.com/kerneis/cil/commit/88b007e0253652a04abdf34e9a10745a70d29eca
I pushed to sourceforge only by mistake. You probably
No change.
What I did was:
git pull
./configure
make
make install (but ocamlfind complained the package was already installed,
so:)
make uninstall
make install
Should I have done something different? (the commit I pulled was
2c84963..4994a6e)
On 21 August 2013 11:02, Gabriel Kerneis wrote:
>
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 branch should build both native and bytecode
versio
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:12AM +0100, Colin Adam
On Wed, Aug 21, 2013 at 10:44:12AM +0100, Colin Adams wrote:
> 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?
lib/App/C
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:
> I'm running cilly --mode=AR
