diff options
| author | Julian Blake Kongslie | 2023-03-19 14:22:39 -0700 |
|---|---|---|
| committer | Julian Blake Kongslie | 2023-03-19 14:22:39 -0700 |
| commit | 7e93a297c4ac68a51b5b5847979827a8c5975ceb (patch) | |
| tree | 40287680cd9ca3edef85f0d9765958832abfa225 /spin/Makefile | |
| parent | Fix focal 69. (diff) | |
| download | biggolf-7e93a297c4ac68a51b5b5847979827a8c5975ceb.tar.xz | |
Add various spin models, including one that might actually work.
Diffstat (limited to 'spin/Makefile')
| -rw-r--r-- | spin/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/spin/Makefile b/spin/Makefile new file mode 100644 index 0000000..73669f9 --- /dev/null +++ b/spin/Makefile | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | default: $(addsuffix .trail, $(wildcard *.pml)) | ||
| 2 | |||
| 3 | clean: | ||
| 4 | rm -f pan* *.pml.* | ||
| 5 | |||
| 6 | %.pml.trail: %.pml | ||
| 7 | @rm -f $@ | ||
| 8 | spin -search -bitstate -l $< | egrep '^(pan|spin):' | ||
| 9 | [ ! -e $@ ] || spin -c -g -l -p -replay $< | ||
| 10 | |||
| 11 | .SECONDARY: | ||