32 lines
693 B
Promela
32 lines
693 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#compile ehello.cat
|
||
|
|
|
||
|
|
#if %remake #or (ehello.rg #older ehello.re) #or (ehello.rg #older ehello.g) #then
|
||
|
|
#run "re ehello" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if (ehello.rsg #older ehello.rss) #or (ehello.rsg #older ehello.rg) #then
|
||
|
|
#run "rs ehello" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if ehello.rzc #older ehello.rsg #then
|
||
|
|
#run "rch ehello" no_window no_abort
|
||
|
|
#file delete ehello.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#compile ehmain.c
|
||
|
|
#compile ehwserv.c
|
||
|
|
#compile ehbwin.c
|
||
|
|
#compile ehdlg.c
|
||
|
|
|
||
|
|
#if (ehello.img #older ehello.afl) #or (ehello.img #older ehello.pic) #then
|
||
|
|
#file delete ehello.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#pragma link(hwim.lib)
|
||
|
|
|
||
|
|
#link ehello.img
|