[CIL users] How does the Patcher work?

[Cheng Shao-y. <sy...@us...>]

Hello,

 

         When I use CIL to merge a project on Linux, It shows errors like:

                  /usr/include/libio.h[406:12-23] : syntax error

Parsing error

Fatal error: exception Frontc.ParseError("Parse error")

 

The content of /usr/include/libio.h[406:12-23] is:

extern int __underflow (_IO_FILE *) __THROW;

 

I think “libio.h” should be modified by Patcher. But how to use the
“patcher” program?

I have read the page http://hal.cs.berkeley.edu/cil/patcher.html , but still
cannot hold it.

 

I have tried many times:

 

dayin@debian:/usr/include$ patcher --mode=GNUCC
--dest=/home/dayin/cil/include/ --ufile="libio.h"

Patching files for GNU CC version gcc_4.1.2

Patching "libio.h"

Cannot open preprocessor file at /home/dayin/cil/bin/patcher line 261.

dayin@debian:/usr/include$ patcher --mode=GNUCC
--dest=/home/dayin/cil/include/ --sfile="libio.h"

Patching files for GNU CC version gcc_4.1.2

Patching <libio.h>

Cannot open preprocessor file at /home/dayin/cil/bin/patcher line 261.


 

Or use root account:

 

debian:/usr/include# /home/dayin/cil/bin/patcher --mode=GNUCC
--dest=/home/dayin/cil/include/ --ufile=libio.h

Patching files for GNU CC version gcc_4.1.2

Patching "libio.h"

Cannot find the absolute name of "libio.h" in __topreproc.i

debian:/usr/include# /home/dayin/cil/bin/patcher --mode=GNUCC
--dest=/home/dayin/cil/include/ --ufile=./libio.h

Patching files for GNU CC version gcc_4.1.2

Patching "./libio.h"

Cannot find the absolute name of "./libio.h" in __topreproc.i

debian:/usr/include# /home/dayin/cil/bin/patcher --mode=GNUCC
--dest=/home/dayin/cil/include/ --ufile=/usr/include/libio.h

Patching files for GNU CC version gcc_4.1.2

Patching "/usr/include/libio.h"

Cannot find the absolute name of "/usr/include/libio.h" in __topreproc.i

 

         But there is nothing in the directory “/home/dayin/cil/include/”.

Why? How does the Patcher work?

 

         Please help me, I am stuck here for 2 days.

         Thank you!

 

         Ps. My system version is 

dayin@debian:/usr/include$ uname -a

Linux debian 2.6.24-etchnhalf.1-amd64 #1 SMP Mon Mar 31 01:05:22 UTC 2008
x86_64 GNU/Linux

dayin@debian:/usr/include$ cilly --version

CIL version 1.3.6

 

         

----------------------------------------------

程绍银

sy...@us...

2008-4-28