# SPIN - Protocol Validation Software - Version 2.0 - January 1995## Copyright (c) 1991,1995 AT&T Corporation.  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, 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.att.com </$objtype/mkfile TARG=spinOFILES= spin.$O\	spinlex.$O\	sym.$O\	vars.$O\	main.$O\	mesg.$O\	flow.$O\	sched.$O\	run.$O\	pangen1.$O\	pangen2.$O\	pangen3.$O\	pangen4.$O\	guided.$O\	dstep.$O\	structures.$O\ HFILES=spin.h\	y.tab.h\ YFILES=spin.y BIN=/$objtype/bin</sys/src/cmd/mkone CC=pccLD=pccCFLAGS=-c -D_POSIX_SOURCEYFLAGS=-v -d -S spin.c:	y.tab.c	cp $prereq $target pangen1.$O: pangen1.h pangen3.hpangen2.$O: pangen2.h nuke:V:		cleanpan cleanspin clean:V:	cleanpan cleanspin cleanpan:V:	rm -f pan.[chmotb] cleanspin:V:	rm -f spin.c