source: trunk/dports/devel/spin/Portfile

Last change on this file was 138129, checked in by petr@…, 2 years ago

spin: add openmaintainer, fix liveckeck, closes #37594

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.7 KB
Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2# $Id: Portfile 138129 2015-06-29 23:10:08Z ryandesign@macports.org $
3
4PortSystem      1.0
5
6name            spin
7version         6.4.3
8set version_no_dot [join [split ${version} .] ""]
9distname        ${name}${version_no_dot}
10categories      devel
11platforms       darwin
12maintainers     jann openmaintainer
13license         SPIN
14description     The Spin model checker
15
16long_description \
17    SPIN is a general tool for verifying the correctness of \
18    distributed software (software design) in a rigorous and \
19    mostly automated fashion.
20
21homepage        http://spinroot.com
22master_sites    http://spinroot.com/spin/Src/
23checksums           md5     17eb7f14df3616e25635691967786996 \
24                    sha1    9f562f330851da47518f4405b1778b044d655b9c \
25                    rmd160  6d7eac3f6c44ef1e3232ddc032920dc8399e95d4
26depends_lib     port:tk port:tcl
27worksrcdir      Spin/Src${version}
28use_configure   no
29use_parallel_build no
30
31pre-patch   {
32    file rename ${worksrcpath}/../iSpin/ispin.tcl ${worksrcpath}/../iSpin/ispin
33}
34
35build.target    ""
36build.args      CC="${configure.cc} -DNXT" \
37                CFLAGS='${configure.cflags} -ansi -D_POSIX_SOURCE -Wno-format-security -DMAC -DCPP=\"\\\"gcc -E -x c -xassembler-with-cpp\\""'
38
39destroot    {
40    xinstall -m 0444 ${worksrcpath}/../Man/${name}.1 \
41        ${destroot}${prefix}/share/man/man1
42    xinstall -m 0755 ${worksrcpath}/${name} \
43        ${destroot}${prefix}/bin
44    xinstall -m 0755 ${worksrcpath}/../iSpin/ispin \
45        ${destroot}${prefix}/bin
46}
47
48# spinroot.com returns '406 Not Acceptable'
49livecheck.type  regex
50livecheck.url   http://portsmon.freebsd.org/portoverview.py?category=devel&portname=spin
51livecheck.regex >${name}-(\[.\\d\]+)<
Note: See TracBrowser for help on using the repository browser.