Re: [CIL users] cil 1.3.7 build fail on OSX

2011-04-02 Thread Gabriel Kerneis
On Sun, Apr 03, 2011 at 05:14:24AM +0200, Philippe Strauss wrote: > unsing 3.12 btw. Exactly the same issue you had with CPC. Fetch CIL from svn (recommanded since it fixes a few bugs) or downgrade your compiler to 3.11. Instructions for using svn have been posted very recently on this list. Re

[CIL users] cil 1.3.7 build fail on OSX

2011-04-02 Thread Philippe Strauss
unsing 3.12 btw. Compiling interface src/ciloptions.mli Compiling src/ciloptions.ml to bytecode Compiling obj/x86_DARWIN/feature_config.ml to bytecode Compiling src/main.ml to bytecode Compiling C file ocamlutil/perfcount.c Linking bytecode obj/x86_DARWIN/cilly.by