# SPIN - Verification Software - Version 3.4.10 - November 2001
#
# Copyright (c) 1991-2001 by Lucent Technologies - Bell Laboratories
# All Rights Reserved.  This software is for educational purposes only.
# No guarantee is expressed or implied by the distribution of this code.
#
# The SPIN software is written by Gerard J. Holzmann, originally as part
# of ``Design and Validation of Protocols,'' ISBN 0-13-539925-4,
# 1991, Prentice Hall, Englewood Cliffs, NJ, 07632
# Send bug-reports and/or questions to: gerard@research.bell-labs.com
# The book is available frm www.amazon.com

CC=g++
CFLAGS= -g -D_POSIX_SOURCE


AUTOM_OS= AutomBase.o autom.o table.o trace.o move.o scenario.o graph.o

.cpp.o:
	$(CC) $(CFLAGS) -c $*.cpp

scenario:$(AUTOM_OS)
	$(CC) $(CFLAGS) -o scenario $(AUTOM_OS)


$(AUTOM_OS): gstructs.h AutomBase.h autom.h graph.hpp

clean:
	rm -f autom.* table.* trace.* move.* vars.* *.o
