|
Preprocessing error , need help: msg#00008programming.splint.general
I am a newbie to splint , now I need some help , i run the following command: $ splint +gnuextensions -I/usr/include/glib- 2.0/ -I/home/alex/svn/prj6_ha2/tags/tag1/module/heartbeat/include/ -I/home/alex/svn/prj6_ha2/branches/module/ha_code/contrib/grm/ -I/home/alex/svn/prj6_ha2/tags/tag1/module/heartbeat/contrib/nrm/ -I/home/alex/svn/prj6_ha2/trunk/module/heartbeat/libltdl +posixlib nrmd.c and the output error like this: Splint 3.1.1 --- 22 Aug 2006 Command Line: Setting +gnuextensions redundant with current value nrmd.c:18:25: Cannot find include file portability.h on search path: /usr/include/glib- 2.0/;/home/alex/svn/prj6_ha2/tags/tag1/module/heartbeat/in clude/;/home/alex/svn/prj6_ha2/branches/module/ha_code/contrib/grm/;/home/al ex/svn/prj6_ha2/tags/tag1/module/heartbeat/contrib/nrm/;/home/alex/svn/prj6_ ha2/trunk/module/heartbeat/libltdl;/usr/include;/usr/include Preprocessing error. (Use -preproc to inhibit warning) ../../../../../tags/tag1/module/heartbeat/include/heartbeat.h:77:66: #error "Syslog.h does not define either LOG_PRI or LOG_PRIMASK." In file included from nrmd.c:37 ../../../../../tags/tag1/module/heartbeat/contrib/nrm/nrm_api.h:27:25: Cannot find include file portability.h on search path: /usr/include/glib- 2.0/;/home/alex/svn/prj6_ha2/tags/tag1/module/heartbeat/in clude/;/home/alex/svn/prj6_ha2/branches/module/ha_code/contrib/grm/;/home/al ex/svn/prj6_ha2/tags/tag1/module/heartbeat/contrib/nrm/;/home/alex/svn/prj6_ ha2/trunk/module/heartbeat/libltdl;/usr/include;/usr/include In file included from nrmd.c:54 ../../../../../tags/tag1/module/heartbeat/contrib/nrm/nrm_msg.h:35:25: Cannot find include file portability.h on search path: /usr/include/glib-2.0/;/home/alex/svn/prj6_ha2/tags/tag1/module/heartbeat/in clude/;/home/alex/svn/prj6_ha2/branches/module/ha_code/contrib/grm/;/home/al ex/svn/prj6_ha2/tags/tag1/module/heartbeat/contrib/nrm/;/home/alex/svn/prj6_ ha2/trunk/module/heartbeat/libltdl;/usr/include;/usr/include In file included from nrmd.c:55 Preprocessing error for file: /home/alex/svn/prj6_ha2/branches/module/heartbeat/ contrib/nrm/nrmd.c *** Cannot continue. _______________________________________________ splint-discuss mailing list splint-discuss-Y5+ky9gHf7K61byRX2g7jjevRRvlBcP1@xxxxxxxxxxxxxxxx http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re: Unrecognized macros like "timerisset" "timercmp": 00008, Tommy Pettersson |
|---|---|
| Next by Date: | Re: Preprocessing error , need help: 00008, Ludolf Holzheid |
| Previous by Thread: | Unrecognized macros like "timerisset" "timercmp"i: 00008, raymond |
| Next by Thread: | Re: Preprocessing error , need help: 00008, Ludolf Holzheid |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |