2009-12-09 19:14:23 +00:00
require 'formula'
class Spin < Formula
url 'http://spinroot.com/spin/Src/spin524.tar.gz'
homepage 'http://spinroot.com/spin/whatispin.html'
md5 'c869e7bd83c70be6565cf77c6a98b72c'
2010-01-23 10:53:41 +00:00
version '5.2.4'
2009-12-09 19:14:23 +00:00
def patches
DATA
end
def install
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.
2010-03-07 07:18:33 +00:00
man1 . install " Man/spin.1 "
2009-12-09 19:14:23 +00:00
end
end
2010-01-23 10:53:41 +00:00
# manual patching is required by the spin install process
2009-12-09 19:14:23 +00:00
__END__
diff - - git a / Src5 . 2 . 4 / makefile b / Src5 . 2 . 4 / makefile
index 67 f22aa .. 596 c893 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