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 @@
+default: $(addsuffix .trail, $(wildcard *.pml))
+
+clean:
+        rm -f pan* *.pml.*
+
+%.pml.trail: %.pml
+        @rm -f $@
+        spin -search -bitstate -l $< | egrep '^(pan|spin):'
+        [ ! -e $@ ] || spin -c -g -l -p -replay $<
+
+.SECONDARY: