Mailinglist Archive: opensuse-bugs (6249 mails)

[bugzilla_noreply@xxxxxxxxxx]

http://bugzilla.novell.com/show_bug.cgi?id=564735

http://bugzilla.novell.com/show_bug.cgi?id=564735#c3


Jiri Slaby <jslaby@xxxxxxxxxx> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEEDINFO                    |NEW
      Info Provider|jslaby@xxxxxxxxxx           |

--- Comment #3 from Jiri Slaby <jslaby@xxxxxxxxxx> 2009-12-23 11:04:22 UTC ---
(In reply to comment #2)
> BTW, is there anyway to integrate stanse into the build system of attr/acl? 
>
> e.g. I could just type: 
>
>  make stanse
>
> And it would print a report if something is wrong? Right now it seems to rely
> on a GUI. Maybe I am missing something.

I think it would be possible. It doesn't rely on GUI. It can either output to
stdout (no --gui and --stats-build on cmdline) or to xml (--stats-build
<xmlfile>) which can be later opened in GUI.

The checking process is that it runs standard make to obtain filelist with
build flags for proper preprocessing:
JOB_FILE=`pwd`/jf make all CC=stcc
and then checking:
stanse --jobfile `pwd`/jf
with some checkers specified, this one was memory:
stanse --jobfile `pwd`/jf -c AutomatonChecker:memory.xml

The memory.xml is not upstream so far, but I'll package it in the near future.

-- 
Configure bugmail: http://bugzilla.novell.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.