40 lines
843 B
Promela
40 lines
843 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#set version=0x118F
|
||
|
|
#set priority=0x80
|
||
|
|
#set heapsize=0x48
|
||
|
|
|
||
|
|
#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
|
||
|
|
#run "rch %main" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#compile datwserv.c
|
||
|
|
#compile datwin.c
|
||
|
|
#compile datcom.c
|
||
|
|
#compile date.c
|
||
|
|
#compile datdial.c
|
||
|
|
|
||
|
|
#if %main.shd #older %main.ms #then
|
||
|
|
#run "makeshd %main" no_window no_abort
|
||
|
|
#file delete %main.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#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
|