Ticket #46551: Portfile.2

File Portfile.2, 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 next_version    0691778a36303213efbf3f3345bc7e2c0c7fbea7
23set next_rmd160     3b130a2ba5fba3d9e2133acdf338612f91aa9156
24set next_sha256     c18541064c9e3ec72586b6088df4e7fa2ad8f003537570da484a5859b4eb9d73
25
26set add_osmosdr     -DENABLE_OSMOSDR=ON
27
28if {${subport} eq ${name}} {
29    version                 0.0.5
30    set release_rmd160      9f81da7f66bb099a81ea141a58a4f5962bad7372
31    set release_sha256      27e0690103cb018ec41051c368feff04af197ea28f9de51810e4053c64274a36
32    long_description        ${description}: \
33        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.
34
35    github.setup            gnss-sdr gnss-sdr ${version} v
36    github.tarball_from     tags
37    conflicts               gnuradio-legacy gnuradio-devel gnuradio-next
38    depends_lib             port:armadillo port:gnuradio port:gr-osmosdr port:gflags port:google-glog
39    require_active_variants port:google-glog gflags
40    checksums               rmd160  ${release_rmd160} \
41                            sha256  ${release_sha256}
42}
43
44subport gnss-sdr-devel {
45    long_description        ${description}: \
46        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.
47
48    name                    gnss-sdr-devel
49    github.setup            gnss-sdr gnss-sdr ${next_version}
50    version                 ${version}-next_20150410
51    set add_osmosdr         -DENABLE_OSMOSDR=ON
52    conflicts               gnuradio-legacy gnuradio gnuradio-next
53    depends_lib             port:armadillo port:gnuradio-devel port:gr-osmosdr port:gflags port:google-glog
54    require_active_variants port:google-glog gflags
55    checksums               rmd160  ${next_rmd160} \
56                            sha256  ${next_sha256}
57}
58
59subport gnss-sdr-next {
60    long_description        ${description}: \
61        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.
62
63    name                    gnss-sdr-next
64    github.setup            gnss-sdr gnss-sdr ${next_version}
65    version                 ${version}-next_20150410
66    set add_osmosdr         -DENABLE_OSMOSDR=OFF
67    conflicts               gnuradio-legacy gnuradio gnuradio-devel
68    depends_lib             port:armadillo port:gnuradio-next port:gflags port:google-glog
69    require_active_variants port:google-glog gflags
70    checksums               rmd160  ${next_rmd160} \
71                            sha256  ${next_sha256}
72}
73
74configure.dir       ${worksrcpath}/build
75configure.cmd       cmake -DENABLE_PACKAGING=ON ${add_osmosdr} ..
76build.dir           ${worksrcpath}/build