Spin model checker 5.2.4

A verification tool for models of concurrent systems.

Manually installing spin on Mac OS X is somewhat cumbersome and requires edits
to the makefile, as as detailed at http://spinroot.com/spin/Man/README.html.
The included DATA patch automates this.

(My thanks to adamv, who pointed out how to simplify this formula greatly.)

Formula/spin.rb

@@ -0,0 +1,46 @@
+require 'formula'
+
+class Spin <Formula
+  url 'http://spinroot.com/spin/Src/spin524.tar.gz'
+  homepage 'http://spinroot.com/spin/whatispin.html'
+  md5 'c869e7bd83c70be6565cf77c6a98b72c'
+
+  def patches
+    DATA
+  end
+
+  def install
+    version='5.2.4'
+
+    ENV.gcc_4_2
+    ENV.deparallelize
+
+    # Compile and install the binary.
+    FileUtils.cd("Src#{version}") do
+      system "make"
+      bin.install "spin"
+    end
+
+    # Copy the man page.
+    FileUtils.cd("Man") { man1.install "spin.1" }
+  end
+end
+__END__
+diff --git a/Src5.2.4/makefile b/Src5.2.4/makefile
+index 67f22aa..596c893 100755
+--- a/Src5.2.4/makefile
++++ b/Src5.2.4/makefile
+@@ -12,10 +12,10 @@
+ 
+ CC=gcc -DNXT 		# -DNXT enables the X operator in LTL
+ # CC=cc -m32 -DNXT 	# for 32bit compilation on a 64bit system
+-CFLAGS=-ansi -D_POSIX_SOURCE -Wno-format-security	# on some systems add: -I/usr/include
++#CFLAGS=-ansi -D_POSIX_SOURCE -Wno-format-security	# on some systems add: -I/usr/include
+ 
+-# for a more picky compilation:
+-# CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g
++# for a more picky compilation: 
++CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g -DMAC -DCPP="\"gcc -E -x c -xassembler-with-cpp\""
+ 
+ #	on PC:		add -DPC to CFLAGS above
+ #	on Solaris:	add -DSOLARIS