pvalchev 49beac3f28 move #ifdef __i386__ to actually include the inline x86 asm too ...

so this compiles on other arches, no binary change; ok avsm

2005-10-16 21:55:15 +00:00

..

patch-bin_cilly

initial import of cil-1.2.5

2004-06-20 16:08:28 +00:00

patch-configure_in

- remove patch that is duplicated in distro

2005-10-16 15:52:31 +00:00

patch-Makefile_cil_in

sync patches (linenumbers)

2005-10-08 08:06:52 +00:00

patch-ocamlutil_perfcount_c_in

move #ifdef __i386__ to actually include the inline x86 asm too

2005-10-16 21:55:15 +00:00

patch-src_cilutil_ml

Add in a --dorandomvars which sets local variables to values other than

2005-05-27 21:46:23 +00:00

patch-src_maincil_ml

Add in a --dorandomvars which sets local variables to values other than

2005-05-27 21:46:23 +00:00