move everything out of trunk

[lttv.git] / trunk / verif / Spin / Src5.1.6 / make_pc

diff --git a/trunk/verif/Spin/Src5.1.6/make_pc b/trunk/verif/Spin/Src5.1.6/make_pc
deleted file mode 100755 (executable)
index d6641e8..0000000
--- a/trunk/verif/Spin/Src5.1.6/make_pc
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/bin/sh
-# SPIN - Verification Software - Version 5.1 - November 2007
-#
-# 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 sh, bison yacc, echo, mv, and rm)
-#      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/Linux system.
-
-# CC="gcc"
-# CFLAGS="-DPC -DNXT -O1 -Wall -ansi -w -o spin.exe"
-
-CC="cl"        # Visual Studio for a standalone compilation
-CFLAGS="-DPC -DNXT -DWIN32 -D_CONSOLE -O2 -Zp4 -nologo -wd4996 -Fespin.exe"
-
-yacc -v -d spin.y
-
-# compile for 32 or 64 bits:
-  $CC -DWIN32 $CFLAGS *.c
-# $CC -DWIN64 $CFLAGS *.c bufferoverflowu.lib
-
-rm -f *.o *.obj
-rm -f y?tab.? y.output
-
-# install in the usual place on cygwin:
-echo "mv spin.exe /usr/bin"
-mv spin.exe /usr/bin