Re: [CIL users] Cil's AR mode does not support the x operation

2011-01-09 Thread Marco Trudel
Dear Kin I wrote a little ar replacement. For a call like "ar cru foo.a 1.o 2.o 3.o" it executes: cilly --merge --mode=AR cru foo.a 1.o 2.o 3.o /usr/bin/ar cru foo.a.objs.a 1.o 2.o 3.o And for a call like "ar x foo.a" or "ar t foo.a" it executes: /usr/bin/ar x foo.a.objs.a (or /usr/bi

[CIL users] Cil's AR mode does not support the x operation

2011-01-09 Thread Kin Ma
Hi, I'm trying to merge a program whose Makefile does the following: it first runs "ar x" to extract files from a bunch of *.a previously generated, and then runs "ar rc" to archive these files into a single lib.a. Unfortunately, Cil's AR mode does not support the x operation. It seems tha

Re: [CIL users] unable to install CIL on windows 7 using cygwin

2011-01-09 Thread shalini s
The error now shows this. I realise its something wrong with the way I have specified teh PATH variable. Compiling src/main.ml to bytecode Compiling C file ocamlutil/perfcount.c Linking bytecode obj/x86_WIN32/cilly.byte.exe + flexlink -chain cygwin -merge-manifest -exe -o 'obj/x86_WIN32

[CIL users] Fwd: unable to install CIL on windows 7 using cygwin

2011-01-09 Thread shalini s
-- Forwarded message -- From: shalini s Date: Sun, Jan 9, 2011 at 11:37 AM Subject: Re: unable to install cygwin on windows 7 To: cil-users@lists.sourceforge.net Hiii, I am getting an error like the below when I am tryin to install CIL Compiling obj/x86_WIN32/feature

Re: [CIL users] unable to install cygwin on windows 7

2011-01-09 Thread shalini s
Hiii, I am getting an error like the below when I am tryin to install CIL Compiling obj/x86_WIN32/feature_config.ml to bytecode Compiling src/main.ml to bytecode Compiling C file ocamlutil/perfcount.c Linking bytecode obj/x86_WIN32/cilly.byte.exe + flexlink -chain cygwin -mer

Re: [CIL users] Unable to Install CIL on Windows 7 Cygwin

2011-01-09 Thread Jonathan Kotker
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