#!/bin/sh
# SPIN - Verification Software - Version 4.2 - October 2004
#
# Tool documentation: http://spinroot.com/
# bug-reports: bugs@spinroot.com            

# This script is for compiling Spin on a PC with a unix shell
# It requires 3 things to be installed on your system:
#	cygwin (for /bin/sh, echo, mv, and rm)
#	yacc.exe, and
#	either gcc or the Visual C++ compiler (cl)
# On a 2.5GHz system everything compiles in under 1 second.
# See also makefile for compiling Spin on a standard Unix system.

CC="gcc"
CFLAGS="-DPC -DNXT -O1 -W -Wall -ansi -w -o spin.exe"

#CC="cl"
#CFLAGS="-DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Zp -nologo -o spin.exe"

yacc -v -d spin.y
mv y.tab.h y_tab.h
mv y.tab.c y_tab.c

$CC $CFLAGS *.c

rm -f *.o *.obj y?tab.? y.output

echo "mv spin.exe /usr/bin"
mv spin.exe /usr/bin
