Source of Portfile - casa-mp-base

        This port is kept up with the GNU Radio GIT 'master' branch (as of 2018-09-20), which is typically updated daily to weekly.  This version of GNU Radio represents the next major release of GNU Radio, and hence its API is likely to be different than that provided by either gnuradio or gnuradio-devel.  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 gnuradio port, cleaning any current builds, and trying again.

# -*- 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

PortSystem          1.0

PortGroup           cmake 1.0

PortGroup           github 1.0

PortGroup           legacysupport 1.0

# require C++11 for cppunit 1.14.0 as of April 13, 2017.

# GNU Radio 3.8 will require C++11 when it is released.

PortGroup           cxx11 1.1

name                gnuradio

maintainers         {michaelld @michaelld}

description         GNU Radio is Software Defined Radio (SDR)

categories          science comms

license             GPL-3

platforms           darwin macosx

dist_subdir         gnuradio

if {${subport} eq ${name}} {

    github.setup gnuradio gnuradio 3.7.13.5 v

    checksums rmd160 6a7f38601633658632cf13a8dc157bbb1e9fcad7 \

              sha256 f0c1fb0bbec673a798efdbdad27d4a1b914ef1fd77528642f1e2134920156335 \

              size   4434061

    revision  2

    long_description    ${description}: \

        This port is kept up with the GNU Radio release, currently ${version}, which is typically updated every few months.

    conflicts       gnuradio-next gnuradio-devel

    # set the version override string

    set GR_VERSION_INFO "Release"

    # overload the github livecheck regex to look for versions that

    # are just numbers and '.', no letters (e.g., "3.7.3git").

    github.livecheck.regex  {([0-9.]+)}

subport gnuradio-devel {

    long_description    ${description}: \

        This port is kept at the GNU Radio GIT 'master' branch commit 896d1c9d, which is the final commit in the 3.7 series. This port will not be updated except for critical fixes backported from more recent commits.

    name                gnuradio-devel

    conflicts           gnuradio gnuradio-next

    github.setup        gnuradio gnuradio 896d1c9da31963ecf5b0d90942c2af51ca998a69

    version             20180824

    revision            5

    checksums    rmd160 8ad7fccef7e21ea96356253432f5f13ad61660ed \

                 sha256 51080fad6f776f8aec1a6c557320c6c64b4c3c3fde3615ca4d43802de65f324f \

                 size   4425148

    # set the version override string

casa-mp-base

Source

Add shortcut