Ticket #41653: Portfile

File Portfile, 1.5 KB (added by SCL@…, 10 years ago)
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$
3
4PortSystem          1.0
5
6name                gr1c
7version             0.6.2
8categories          math devel
9
10license             BSD
11maintainers         cds.caltech.edu:slivingston
12description         Tools for GR(1) synthesis and related activities
13
14long_description    A collection of tools for GR(1) synthesis and related \
15                    activities.  Its core functionality is checking \
16                    realizability of and synthesizing strategies for GR(1) \
17                    specifications, though it does much more.
18
19homepage            http://scottman.net/2012/gr1c
20master_sites        http://vehicles.caltech.edu/snapshots/gr1c/
21platforms           darwin
22
23checksums           rmd160  cecca701d1cf89c707a013221207c9820b1ec5c8 \
24                    sha256  414c166c8f840a1b79267ccf5ccc6da1862eae11cb3c1d81ea42bbcf555bb432
25
26patchfiles          patch-Makefile.diff patch-tests-Makefile.diff
27if {[string match "-arch i386" ${configure.cc_archflags}]} {
28    patchfiles-replace patch-Makefile.diff patch-Makefile-i386.diff
29}
30
31depends_build       port:bison port:flex
32depends_lib         port:libcudd
33universal_variant   no
34
35use_configure       no
36build.target        all
37test.run            yes
38test.target         check
39# destroot.target     install expinstall
40# destroot.destdir    INSTALLDIR=${prefix}/bin
41destroot {
42    xinstall -m 0755 ${worksrcpath}/gr1c ${worksrcpath}/rg ${worksrcpath}/grpatch ${destroot}${prefix}/bin
43}