Anonymous
public text v1 · immutableolaf@pc:~/shk/rtsc2nusmv$ make
gcc -g -c -std=c99 -Wall `xml2-config --cflags` `pkg-config --cflags glib-2.0` -c -o src/rtsc2nusmv.o src/rtsc2nusmv.c
In file included from src/rtsc2nusmv.c:8:
src/rtsc.h:65: Fehler: zwei oder mehr Datentypen in Deklaration
src/rtsc.h:109: Fehler: expected specifier-qualifier-list before »Transition«
make: *** [src/rtsc2nusmv.o] Fehler 1