41 lines
795 B
Promela
41 lines
795 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#abort on
|
||
|
|
|
||
|
|
#set version=0x100F
|
||
|
|
#set priority=0x80
|
||
|
|
#set heapsize=0x80
|
||
|
|
|
||
|
|
#compile %main.cat
|
||
|
|
|
||
|
|
#if %remake #or (%main.rg #older %main.re) #or (%main.rg #older %main.g) #then
|
||
|
|
#run "re %main" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if (%main.rsg #older %main.rss) #or (%main.rsg #older %main.rg) #then
|
||
|
|
#file delete %main.rsg
|
||
|
|
#run "rs %main" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if %main.rzc #older %main.rsg #then
|
||
|
|
#run "rch %main" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#compile lcdmain.c
|
||
|
|
#compile lcdwserv.c
|
||
|
|
#compile lcdcomm.c
|
||
|
|
#compile lcdview.c
|
||
|
|
#compile lcddlgs.c
|
||
|
|
|
||
|
|
#if (%main.img #older %main.afl) #or (%main.img #older %main.pic) #then
|
||
|
|
#file delete %main.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#pragma link(olib.lib)
|
||
|
|
#pragma link(hwim.lib)
|
||
|
|
|
||
|
|
#link %main
|
||
|
|
|