Ticket #28585: Portfile

File Portfile, 1.4 KB (added by alex_a_bordeaux@…, 14 years ago)

Portfile (adapted)

Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
2# $Id: Portfile 73189 2010-11-06 19:22:21Z jann@macports.org $
3
4PortSystem      1.0
5
6name            spin
7version         6.0.1
8set version_no_dot [join [split ${version} .] ""]
9revision        1
10distname        ${name}${version_no_dot}
11categories      devel
12platforms       darwin
13maintainers     jann
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     7ece51bc605fe4a3638e427c28f44b57 \
24                    sha1    ba17b036cf95c4b4bcacbe3ba1c91312c802ff38 \
25                    rmd160  1d9bd246362f886261655b0093227b421d150af6
26worksrcdir      Spin/Src${version}
27use_configure   no
28use_parallel_build no
29
30
31build.target    ""
32build.args      CC="${configure.cc} -DNXT" \
33                CFLAGS='${configure.cflags} -ansi -D_POSIX_SOURCE -Wno-format-security -DMAC -DCPP=\"\\\"gcc -E -x c -xassembler-with-cpp\\""'
34
35destroot    {
36    xinstall -m 0444 ${worksrcpath}/../Man/${name}.1 \
37        ${destroot}${prefix}/share/man/man1
38    xinstall -m 0755 ${worksrcpath}/${name} \
39        ${destroot}${prefix}/bin
40}