Ticket #46551: Portfile.3

File Portfile.3, 4.2 KB (added by carlesfernandez (Carles Fernandez), 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:filetype=tcl:et:sw=4:ts=4:sts=4
2# $Id:
3
4PortSystem          1.0
5
6PortGroup           cmake 1.0
7PortGroup           github 1.0
8PortGroup           active_variants 1.1
9
10name                gnss-sdr
11maintainers         gmail.com:carlesfernandez openmaintainer
12description         An Open Source GNSS Software Defined Receiver
13homepage            http://gnss-sdr.org
14categories          science
15license             GPL-3
16platforms           darwin
17
18use_parallel_build  yes
19
20dist_subdir         gnss-sdr
21
22set release_version 0.0.5
23
24set next_version    0691778a36303213efbf3f3345bc7e2c0c7fbea7
25set next_rmd160     3b130a2ba5fba3d9e2133acdf338612f91aa9156
26set next_sha256     c18541064c9e3ec72586b6088df4e7fa2ad8f003537570da484a5859b4eb9d73
27
28set add_osmosdr     -DENABLE_OSMOSDR=ON
29
30if {${subport} eq ${name}} {
31    version                 ${release_version}
32    set release_rmd160      9f81da7f66bb099a81ea141a58a4f5962bad7372
33    set release_sha256      27e0690103cb018ec41051c368feff04af197ea28f9de51810e4053c64274a36
34    long_description        ${description}: \
35        This port is kept up with the GNSS-SDR release, currently ${version}, which is typically updated every few months. This version compiles against the gnuradio port, which represents the current GNU Radio release.
36
37    github.setup            gnss-sdr gnss-sdr ${version} v
38    github.tarball_from     tags
39    conflicts               gnuradio-legacy gnuradio-devel gnuradio-next
40    depends_lib             port:armadillo port:gnuradio port:gr-osmosdr port:gflags port:google-glog
41    require_active_variants port:google-glog gflags
42    checksums               rmd160  ${release_rmd160} \
43                            sha256  ${release_sha256}
44}
45
46subport gnss-sdr-devel {
47    long_description        ${description}: \
48        This port is kept up with the GNSS-SDR GIT next branch, which is typically updated daily to weekly.  This version of GNSS-SDR generally contains fixes and new features that will be incorporated in an upcoming release, and compiles against the gnuradio-devel port, which represents GNU Radio GIT 'master' branch.  This port may or not compile or function correctly, as it represents a work in progress.  If it does not work, check back in a few days.  Or try deactivating the currently active gnss-sdr and gnuradio ports, cleaning any current builds, and trying again.
49
50    name                    gnss-sdr-devel
51    github.setup            gnss-sdr gnss-sdr ${next_version}
52    version                 ${release_version}_20150410
53    conflicts               gnuradio-legacy gnuradio gnuradio-next
54    depends_lib             port:armadillo port:gnuradio-devel port:gr-osmosdr port:gflags port:google-glog
55    require_active_variants port:google-glog gflags
56    checksums               rmd160  ${next_rmd160} \
57                            sha256  ${next_sha256}
58}
59
60subport gnss-sdr-next {
61    long_description        ${description}: \
62        This port is kept up with the GNSS-SDR GIT next branch, which is typically updated daily to weekly.  This version of GNSS-SDR generally contains fixes and new features that will be incorporated in an upcoming release, and compiles against the gnuradio-next port, which represents GNU Radio GIT next branch.  This port may or not compile or function correctly, as it represents a work in progress.  If it does not work, check back in a few days.  Or try deactivating the currently active gnss-sdr and gnuradio ports, cleaning any current builds, and trying again.
63
64    name                    gnss-sdr-next
65    github.setup            gnss-sdr gnss-sdr ${next_version}
66    version                 ${release_version}_20150410
67    set add_osmosdr         -DENABLE_OSMOSDR=OFF
68    conflicts               gnuradio-legacy gnuradio gnuradio-devel
69    depends_lib             port:armadillo port:gnuradio-next port:gflags port:google-glog
70    require_active_variants port:google-glog gflags
71    checksums               rmd160  ${next_rmd160} \
72                            sha256  ${next_sha256}
73}
74
75configure.dir       ${worksrcpath}/build
76configure.cmd       cmake -DENABLE_PACKAGING=ON ${add_osmosdr} ..
77build.dir           ${worksrcpath}/build