Hello,
I have been trying to compile an application called 'Filebench'
Version
*1.4.8.fsl.0.5*<http://www.fsl.cs.sunysb.edu/%7Evass/filebench/go_filebench-1.4.8.fsl.0.5.tar.gz>(
http://www.fsl.cs.sunysb.edu/~vass/filebench/<http://www.fsl.cs.sunysb.edu/%7Evass/filebench/>)
using CIL-1.3.7. I am working on a 32-bit Ubuntu machine with gcc-4.4.1 and
Ocaml-3.09.0.
Making the following simple change in the file filebench.h line
159(otherwise gives an error with CIL):
Change
#define FILEBENCH RANDMAX64 UINT64_MAX
to
#define FILEBENCH RANDMAX64 UINT32_MAX
So when I use the command:
make CC="~/deadlock/bin/cilly --save-temps -D_FORTIFY_SOURCE=0"
LD="~/deadlock/bin/cilly --save-temps" it builds normally.
But when I add the 'merge' flag in the command:
make CC="~/deadlock/bin/cilly --save-temps --merge -D_FORTIFY_SOURCE=0"
LD="~/deadlock/bin/cilly --save-temps"
it gives an error(see the CIL output at the end of this message).
The program compiles normally when the above command is used with CIL-1.3.6.
But most of my analysis modules have already been adapted to CIL-1.3.7. So,
it is difficult to backport them to CIL-1.3.6.
Also, the analysis that I need to perform requires a merged file. Hence I
need to include the merge flag.
Has anybody come across a similar error? Can this error be fixed somehow?
*CIL Output:*
gcc -D_GNUCC -E -D_FORTIFY_SOURCE=0 -g -O2 ./go_filebench.cil.c -o
./go_filebench.cil.i
gcc -D_GNUCC -c -D_FORTIFY_SOURCE=0 -g -O2 -Wall -Wno-unknown-pragmas -g -O2
-o go_filebench_comb.o ./go_filebench.cil.i
/usr/include/bits/mathinline.
h:35: error: redefinition of â__signbitfâ
/usr/include/bits/mathinline.h:35: note: previous definition of â__signbitfâ
was here
/usr/include/bits/mathinline.h:41: error: redefinition of â__signbitâ
/usr/include/bits/mathinline.h:41: note: previous definition of â__signbitâ
was here
/usr/include/bits/mathinline.h:47: error: redefinition of â__signbitlâ
/usr/include/bits/mathinline.h:47: note: previous definition of â__signbitlâ
was here
/usr/include/bits/mathinline.h:35: error: redefinition of â__signbitfâ
/usr/include/bits/mathinline.h:35: note: previous definition of â__signbitfâ
was here
/usr/include/bits/mathinline.h:41: error: redefinition of â__signbitâ
/usr/include/bits/mathinline.h:41: note: previous definition of â__signbitâ
was here
/usr/include/bits/mathinline.h:47: error: redefinition of â__signbitlâ
/usr/include/bits/mathinline.h:47: note: previous definition of â__signbitlâ
was here
/usr/include/bits/mathinline.h:35: error: redefinition of â__signbitfâ
/usr/include/bits/mathinline.h:35: note: previous definition of â__signbitfâ
was here
/usr/include/bits/mathinline.h:41: error: redefinition of â__signbitâ
/usr/include/bits/mathinline.h:41: note: previous definition of â__signbitâ
was here
/usr/include/bits/mathinline.h:47: error: redefinition of â__signbitlâ
/usr/include/bits/mathinline.h:47: note: previous definition of â__signbitlâ
was here
make[2]: *** [go_filebench] Error 1
make[2]: Leaving directory
`/home/axatha/deadlock/test/go_filebench-1.4.8.fsl.0.5'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory
`/home/axatha/deadlock/test/go_filebench-1.4.8.fsl.0.5'
make: *** [all] Error 2
Thanks,
Axatha
------------------------------------------------------------------------------
ThinkGeek and WIRED's GeekDad team up for the Ultimate
GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the
lucky parental unit. See the prize list and enter to win:
http://p.sf.net/sfu/thinkgeek-promo
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
