rem Alternative method for compiling Spin on a PC
rem This requires 3 things to be installed on your system:
rem	the MKS toolkit
rem	a YACC command, and
rem	the Visual C++ compiler (cl and link)
rem On a 500MHz system everything compiles in under 4 seconds.
rem 
d:/gcc/bin/yacc -v -d spin.y
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc dstep.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc flow.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc guided.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc main.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc mesg.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen1.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen2.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen3.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen4.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pangen5.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc ps_msc.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc pc_zpp.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc run.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc sched.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc spinlex.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc structs.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc sym.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_buchi.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_cache.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_lex.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_main.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_mem.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_parse.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_rewrt.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc tl_trans.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc vars.c
cl -c -DPC -DWIN32 -D_CONSOLE -G3 -Ow -W3 -Zp -Tc y_tab.c
link -out:spin.exe *.obj
del *.obj
rem 
rem Installation -- adjust to your choice of bindir:
rem cp spin.exe d:/gcc/bin/spin.exe
rem Done
