Le Saturday 15 Jan 2011 à 14:19:11 (+0100), Guillaume Yziquel a écrit :
> Le Saturday 15 Jan 2011 à 09:04:10 (+0100), Gabriel Kerneis a écrit :
> > On Sat, Jan 15, 2011 at 12:32:09AM +0100, Guillaume Yziquel wrote:
> >
> > Please try either of the following:
> >
> > # Official CIL svn (ignore p
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 Sat, Jan 15, 2011 at 02:19:11PM +0100, Guillaume Yziquel wrote:
> What is ocamlutil by the way? Util stuff specifically for CIL, or does
> it have a wider scope than just CIL? (Just to know how and what I should
> package on my system).
Only used by CIL and other projects by the same research
Le Friday 14 Jan 2011 à 19:24:29 (+0100), Gabriel Kerneis a écrit :
> On Fri, Jan 14, 2011 at 06:36:49PM +0100, Gabriel Kerneis wrote:
> > Hmmm, looking at your prompt, it looks like you are trying to compile
> > CPC rather than CIL. Is this the case? Did you fetch latest git
> > version? Which
Le Saturday 15 Jan 2011 à 09:04:10 (+0100), Gabriel Kerneis a écrit :
> On Sat, Jan 15, 2011 at 12:32:09AM +0100, Guillaume Yziquel wrote:
> > If there's one thing I specifically loathe, it's the way sourceforge
> > repos are always buried deep into the maze of their webpages. The only
> > thing I
On Sat, Jan 15, 2011 at 12:32:09AM +0100, Guillaume Yziquel wrote:
> If there's one thing I specifically loathe, it's the way sourceforge
> repos are always buried deep into the maze of their webpages. The only
> thing I could find (and tried with the -lstr issue) is this link:
You are definitely
