Mercurial > hg > Members > nobuyasu > Spin

changeset 2:a2dac3fa7383 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Makefile
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Fri, 29 Jun 2012 06:22:47 +0900
parents ac6c53a316ad
children
files promela/Makefile
diffstat 1 files changed, 21 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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)
+
+
+