Re: [CIL users] [CIL] Preventing CIL from compiling the result

2011-11-17 Thread Zakkak Foivos
Try export CILLY_DONT_COMPILE_AFTER_MERGE=1 export CILLY_DONT_LINK_AFTER_MERGE=1 Foivos Zakkak On 11/17/2011 07:20 PM, Jonathan Kotker wrote: Hello (CIL) World. I have noticed that CIL compiles the final file that it produces: is there any way to prevent this happening? Thanks, Jon.

[CIL users] CIL fails to compile complex.h

2011-07-25 Thread Zakkak Foivos
ne 60, characters 12-28 Called from file "ocamlutil/util.ml", line 211, characters 12-15 Called from file "src/main.ml", line 226, characters 18-66 Called from file "src/main.ml", line 290, characters 4-15 Thanks in advance Zakkak Foivos --

[CIL users] Exit value

2011-06-20 Thread Zakkak Foivos
Thank you Zakkak Foivos -- EditLive Enterprise is the world's most technically advanced content authoring tool. Experience the power of Track Changes, Inline Image Editing and ensure content is compliant with Accessi

Re: [CIL users] [cil-users] Including functions from user-defined header files

2011-02-15 Thread Zakkak Foivos
Hi, As far as i know, you will have to use --merge and give foo.c to cilly along with the file to analyze. There is no way cilly can find the file containing the function definition of foo, as it can be defined in any file or even implemented in a library. Zakkak Foivos On 02/16/2011 01:48

Re: [CIL users] Arrays with no constant dimensions as arguments

2011-02-11 Thread Zakkak Foivos
;ocamlutil/errormsg.ml", line 49, characters 23-28 Called from file "src/main.ml", line 257, characters 6-24 Called from file "src/main.ml", line 290, characters 4-15 Thank you, Zakkak Foivos On 02/11/2011 06:44 PM, Gabriel Kerneis wrote: > Dear Foivos, > > On Wed, Jan

Re: [CIL users] Arrays with no constant dimensions as arguments

2011-02-11 Thread Zakkak Foivos
at it works for > you, please? > > Best, I will inform you, as soon as i try it! Thank you very much Zakkak Foivos -- The ultimate all-in-one performance toolkit: Intel(R) Parallel Studio XE: Pinpoint memory an

[CIL users] Preprocessor directives

2010-07-12 Thread Zakkak Foivos
Hello list, i need some help inserting some preprocessor directives between some generated (with Cil) stmts. e.g i would like to build (inside a function body) int i; #ifdef FOUR i=4; #elif i=0; #endif the only way i found is by using GText but this returns a global which i cannot append to a s