| 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 | |
|---|
| 4 | PortSystem 1.0 |
|---|
| 5 | |
|---|
| 6 | name gr1c |
|---|
| 7 | version 0.6.2 |
|---|
| 8 | categories math devel |
|---|
| 9 | |
|---|
| 10 | license BSD |
|---|
| 11 | maintainers cds.caltech.edu:slivingston |
|---|
| 12 | description Tools for GR(1) synthesis and related activities |
|---|
| 13 | |
|---|
| 14 | long_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 | |
|---|
| 19 | homepage http://scottman.net/2012/gr1c |
|---|
| 20 | master_sites http://vehicles.caltech.edu/snapshots/gr1c/ |
|---|
| 21 | platforms darwin |
|---|
| 22 | |
|---|
| 23 | checksums rmd160 cecca701d1cf89c707a013221207c9820b1ec5c8 \ |
|---|
| 24 | sha256 414c166c8f840a1b79267ccf5ccc6da1862eae11cb3c1d81ea42bbcf555bb432 |
|---|
| 25 | |
|---|
| 26 | patchfiles patch-Makefile.diff patch-tests-Makefile.diff |
|---|
| 27 | if {[string match "-arch i386" ${configure.cc_archflags}]} { |
|---|
| 28 | patchfiles-replace patch-Makefile.diff patch-Makefile-i386.diff |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | depends_build port:bison port:flex |
|---|
| 32 | depends_lib port:libcudd |
|---|
| 33 | universal_variant no |
|---|
| 34 | |
|---|
| 35 | use_configure no |
|---|
| 36 | build.target all |
|---|
| 37 | test.run yes |
|---|
| 38 | test.target check |
|---|
| 39 | # destroot.target install expinstall |
|---|
| 40 | # destroot.destdir INSTALLDIR=${prefix}/bin |
|---|
| 41 | destroot { |
|---|
| 42 | xinstall -m 0755 ${worksrcpath}/gr1c ${worksrcpath}/rg ${worksrcpath}/grpatch ${destroot}${prefix}/bin |
|---|
| 43 | } |
|---|
