logo       

Preprocessing error , need help: msg#00008

programming.splint.general

Subject: Preprocessing error , need help

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>
Google Custom Search

News | FAQ | advertise