It works brilliantly! Merci beaucoup, Gabriel! :)
On 14 January 2011 10:03, Gabriel Kerneis wrote:
> On Fri, Jan 14, 2011 at 05:29:39PM +0100, Gabriel Kerneis wrote:
> > - upgrade cil AND ocamlutil to latest SVN (r12118 at least)
>
> Ahem, r12120 actually, I forgot some configure magic.
> --
>
On Fri, Jan 14, 2011 at 05:29:39PM +0100, Gabriel Kerneis wrote:
> - upgrade cil AND ocamlutil to latest SVN (r12118 at least)
Ahem, r12120 actually, I forgot some configure magic.
--
Gabriel
--
Protect Your Site and Cus
Dear Jonathan,
On Sat, Jan 08, 2011 at 09:19:59AM -0800, Jonathan Kotker wrote:
> Thanks for the advice. It seems like the Ocaml interpreter installed on my
> system was using "flexdll" instead of gcc to do the linking, and "flexdll"
> did not understand the "-g" flag. Based on advice provided h
Hi Gabriel.
Thanks for the suggestion. It works with the SVN version now: I am able to
make CIL completely, yay! My fix for my errors is thus mentioned earlier in
this thread, except I am not sure how one would determine if flexdll or if
gcc was being used as the linker, so I'm unfortunately not
On Sat, Jan 08, 2011 at 10:07:39AM -0800, Jonathan Kotker wrote:
> It looks like I need a username and a password to download the ocamlutil
> directory from the SVN directory. Am I missing something?
You should check it out separately (svn externals are a bit messed up)
and make a symbolic link,
It looks like I need a username and a password to download the ocamlutil
directory from the SVN directory. Am I missing something?
Thanks,
Jon.
On 8 January 2011 09:45, Gabriel Kerneis wrote:
> On Sat, Jan 08, 2011 at 09:19:59AM -0800, Jonathan Kotker wrote:
> > ** Fatal error: Cannot find fil
On Sat, Jan 08, 2011 at 09:19:59AM -0800, Jonathan Kotker wrote:
> ** Fatal error: Cannot find file "libstr"
> Any suggestions?
I believe this bug is fixed in the svn already. Could you try and let
me know?
TIA,
--
Gabriel
---
Hi Gabriel.
Thanks for the advice. It seems like the Ocaml interpreter installed on my
system was using "flexdll" instead of gcc to do the linking, and "flexdll"
did not understand the "-g" flag. Based on advice provided here (
http://caml.inria.fr/mantis/view.php?id=4645), the option was suppos
On Sun, Jan 02, 2011 at 05:01:10AM -0800, Jonathan Kotker wrote:
> It seems like flexlink is being given an option that it does not understand,
> but I am not able to trace where this command is coming from so I can modify
> this option. Could you provide any suggestions for a fix? FWIW, I'm usin
Hello, and Happy New Year!
I am trying to install CIL on the 32-bit Windows 7 partition of my MacBook
Pro. I seem to have an error making CIL in Cygwin on my Windows
installation. I am getting this error:
Linking bytecode obj/x86_WIN32/cilly.byte.exe
+ flexlink -chain cygwin -merge-manifest -ex
10 matches
Mail list logo
