[40614] trunk/dports/devel

[jann at macports.org]

Revision: 40614
          http://trac.macports.org/changeset/40614
Author:   jann at macports.org
Date:     2008-10-08 06:10:23 -0700 (Wed, 08 Oct 2008)
Log Message:
-----------
New port: Spin

Added Paths:
-----------
    trunk/dports/devel/spin/
    trunk/dports/devel/spin/Portfile
    trunk/dports/devel/spin/files/
    trunk/dports/devel/spin/files/patch-makefile.diff
    trunk/dports/devel/spin/files/patch-xspin.diff

Added: trunk/dports/devel/spin/Portfile
===================================================================
--- trunk/dports/devel/spin/Portfile	                        (rev 0)
+++ trunk/dports/devel/spin/Portfile	2008-10-08 13:10:23 UTC (rev 40614)
@@ -0,0 +1,51 @@
+# $Id$
+
+PortSystem      1.0
+
+name            spin
+version         5.1.6
+set version_no_dot [join [split ${version} .] ""]
+distname        ${name}${version_no_dot}
+categories      devel
+platforms       darwin
+maintainers     jann at macports.org
+description     The Spin model checker
+
+long_description \
+    SPIN is a general tool for verifying the correctness of \
+    distributed software (software design) in a rigorous and \
+    mostly automated fashion.
+
+homepage        http://spinroot.com
+master_sites    http://spinroot.com/spin/Src/
+checksums       rmd160 fcb46fba69df9a022a2c5070115fdf0aa735758f
+depends_lib     port:tk port:tcl
+patchfiles      patch-makefile.diff \
+                patch-xspin.diff
+worksrcdir      Spin
+use_configure   no
+
+set xspin_dir   Xspin5.1
+set xspin_name  xspin510.tcl
+
+pre-patch   {
+    file rename ${worksrcpath}/${xspin_dir}/${xspin_name} ${worksrcpath}/${xspin_dir}/xspin
+}
+
+post-patch  {
+    reinplace "s, at prefix@,${prefix},g" ${xspin_dir}/xspin
+}
+
+build       {
+    cd ${worksrcpath}/Src${version}
+    exec make
+}
+
+destroot    {
+    xinstall -m 0444 ${worksrcpath}/Man/${name}.1 \
+        ${destroot}${prefix}/share/man/man1
+    xinstall -m 0755 ${worksrcpath}/Src${version}/${name} \
+        ${destroot}${prefix}/bin
+    xinstall -m 0755 ${worksrcpath}/${xspin_dir}/xspin \
+        ${destroot}${prefix}/bin
+}


Property changes on: trunk/dports/devel/spin/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native

Added: trunk/dports/devel/spin/files/patch-makefile.diff
===================================================================
--- trunk/dports/devel/spin/files/patch-makefile.diff	                        (rev 0)
+++ trunk/dports/devel/spin/files/patch-makefile.diff	2008-10-08 13:10:23 UTC (rev 40614)
@@ -0,0 +1,11 @@
+--- Src5.1.6/makefile.orig	2007-11-10 19:45:40.000000000 -0500
++++ Src5.1.6/makefile	2008-10-08 07:37:53.000000000 -0400
+@@ -12,7 +12,7 @@
+ 
+ CC=cc -DNXT 	# -DNXT enables the X operator in LTL
+ # CC=cc -m32 -DNXT 	# for 32bit compilation on a 64bit system
+-CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
++CFLAGS=-ansi -D_POSIX_SOURCE -DMAC	# 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

Added: trunk/dports/devel/spin/files/patch-xspin.diff
===================================================================
--- trunk/dports/devel/spin/files/patch-xspin.diff	                        (rev 0)
+++ trunk/dports/devel/spin/files/patch-xspin.diff	2008-10-08 13:10:23 UTC (rev 40614)
@@ -0,0 +1,10 @@
+--- Xspin5.1/xspin.orig	2008-04-24 13:22:35.000000000 -0400
++++ Xspin5.1/xspin	2008-10-08 09:03:29.000000000 -0400
+@@ -1,6 +1,4 @@
+-#!/bin/sh
+-# the next line restarts using wish \
+-exec wish c:/cygwin/bin/xspin -- $*
++#!@prefix@/bin/wish -f
+ 
+ # cd	;# enable to cd to home directory by default
+ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20081008/9647d9b2/attachment-0001.html