46 lines
1.0 KiB
Promela
46 lines
1.0 KiB
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#compile notes.cat
|
||
|
|
|
||
|
|
#if %remake #or (notes.rg #older notes.re) #or (notes.rg #older notes.g) #then
|
||
|
|
#run "re notes" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if (notes.rsg #older notes.rss) #or (notes.rsg #older notes.rg) #then
|
||
|
|
#file delete notes.rsg
|
||
|
|
#run "rs notes" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if notes.rzc #older notes.rsg #then
|
||
|
|
#run "rch notes" no_window no_abort
|
||
|
|
#file delete notes.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#compile nocomman.c
|
||
|
|
#compile nodlgs.c
|
||
|
|
#compile noengine.c
|
||
|
|
#compile nolinksv.c
|
||
|
|
#compile nomain.c
|
||
|
|
#compile nowin.c
|
||
|
|
#compile nowserv.c
|
||
|
|
|
||
|
|
#if (notes.pic #older notes1.pic) #or (notes.pic #older notes2.pic) #then
|
||
|
|
#run "wspcx -l notes" no_window no_abort
|
||
|
|
#file delete notes.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if notes.shd #older notes.ms #then
|
||
|
|
#run "makeshd notes" no_window no_abort
|
||
|
|
#file delete notes.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if (notes.img #older notes.afl) #or (notes.img #older notes.pic) #then
|
||
|
|
#file delete notes.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#pragma link(hwim.lib)
|
||
|
|
|
||
|
|
#link notes.img
|