18 lines
265 B
Promela
18 lines
265 B
Promela
#system epoc img
|
|
#model small jpi
|
|
|
|
#message "HWIF library project file"
|
|
|
|
#compile hwif.cat
|
|
|
|
#compile hhwif.c
|
|
#compile xhwif.c
|
|
#compile uhwif.c
|
|
#compile phwif.c
|
|
#compile thwif.c
|
|
#compile ehwif.c
|
|
#compile rhwif.c
|
|
#compile diyhwif.c
|
|
|
|
#dolink hwif.lib
|