Mercurial > hg > Members > nobuyasu > Spin

view promela/Makefile @ 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
children
line wrap: on
line source

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)