# HG changeset patch
# User Nobuyasu Oshiro  <dimolto@cr.ie.u-ryukyu.ac.jp>
# Date 1340918567 -32400
# Node ID a2dac3fa73837e5c93bdec505c8cb6c15b76efa1
# Parent  ac6c53a316adbca0d6e5480cedd21501f49379ef
add Makefile

diff -r ac6c53a316ad -r a2dac3fa7383 promela/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/promela/Makefile	Fri Jun 29 06:22:47 2012 +0900
@@ -0,0 +1,21 @@
+CC=gcc
+CFLAGS=
+SPIN=spin
+
+PROG=alt4
+
+all: $(PROG)
+
+
+alt4: pan.c
+	$(CC) $(CFLAGS) -o $@ $^
+
+pan.c: $(PROG).pml
+	$(SPIN) -a $^
+
+
+clean:
+	rm -rf pan.* $(PROG)
+
+
+