#!/bin/sh

# Compiling Spin on a PC with a unix shell
# This requires 3 things to be installed on your system:
#	cygwin or mks (for the sh, mv, and rm commands)
#	a YACC command, and
#	the Visual C++ compiler (for cl /nologo and link)
# On a 2.5GHz system everything compiles in under 1 second.
set -v
yacc -v -d spin.y
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc dstep.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc flow.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc guided.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc main.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc mesg.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen1.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen2.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen3.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen4.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen5.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pan_ast.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc ps_msc.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pc_zpp.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc run.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc sched.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc spinlex.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc structs.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc sym.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_buchi.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_cache.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_lex.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_main.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_mem.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_parse.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_rewrt.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_trans.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc vars.c
cl /nologo -c -DPC -DNXT -DWIN32 -D_CONSOLE -G3 -Ow -w -Zp -Tc y_tab.c
link /nologo -out:spin.exe *.obj
rm -f *.obj y_tab.? y.output
mv spin.exe /usr/bin
