22 lines
426 B
Promela
22 lines
426 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#compile gbar.cat
|
||
|
|
|
||
|
|
#if %remake #or (gbar.rsg #older gbar.rss) #or (gbar.rsc #older gbar.rss) #then
|
||
|
|
#run "rs gbar" no_window no_abort
|
||
|
|
#file delete gbar.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#compile growbar.c
|
||
|
|
|
||
|
|
#pragma link(hwifo.lib)
|
||
|
|
#pragma link(hwim.lib)
|
||
|
|
|
||
|
|
#if (gbar.img #older gbar.afl) #or (gbar.img #older gbar.pic) #then
|
||
|
|
#file delete gbar.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#link gbar.img
|