# SPIN - Protocol Validation Software - Version 1.1 - April 1991
# (this version matches the source from reprint 1 of the book)
#
# Copyright (c) 1991 AT&T Bell Telephone Laboratorties, Inc.
# All Rights Reserved. This software is for educational purposes only.
# No part of this source code may be reproduced in any form
# without explicit written permission from the copyright owner.
#
# This software is written by Gerard J. Holzmann, as part of the book
# ``Design and Validation of Protocols,'' ISBN 0-13-539925-4,
# 1991, Prentice Hall, Englewood Cliffs, NJ, 07632
# Enquiries and bug-reports can be send to: gerard@research.att.com

CC=cc		# ANSI C compiler
CFLAGS=-O	# optimizer
YFLAGS=-v -d -D	# create y.output, y.debug, and y.tab.h
OFILES= spin.o lex.o sym.o vars.o main.o \
	mesg.o flow.o sched.o run.o pangen1.o pangen2.o \
	pangen3.o pangen4.o pangen5.o

spin:	$(OFILES)
	$(CC) $(CFLAGS) -o spin $(OFILES) -lm

%.o:	%.c spin.h
	$(CC) $(CFLAGS) -c $%.c

clean:
	rm -f *.o y.tab.h y.output y.debug spin
	rm -f pan.[chmotb] a.out core pan.trail

pangen1.o:	pangen1.c pangen1.h pangen3.h
pangen2.o:	pangen2.c pangen2.h