Ticket #55714: Portfile-gnss-sdr.diff

File Portfile-gnss-sdr.diff, 1.5 KB (added by carlesfernandez (Carles Fernandez), 7 years ago)

  • Portfile

    old new  
    7070        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.
    7171
    7272    name                gnss-sdr-next
    73     github.setup        gnss-sdr gnss-sdr 6256f158939d5fc10b72dc275173d8fb38df2eae
    74     version             20180110
    75     checksums           rmd160 598b4019ed551557cca02fb14e264e5995b221b3 \
    76                         sha256 70ce2675d92d55c2b328184b8567c57fe9d75f79f52fe5ab24aba2cbf21abe68
     73    github.setup        gnss-sdr gnss-sdr bc922404438afc6cc7a9c36012266bf8e4830589
     74    version             20180118
     75    checksums           rmd160 b04801bebf22ecc445f45ac1a8a61053885b0c29 \
     76                        sha256 3a48f5e822727e9e8f210d17009d4641ef01245d690a2a1de58a2a5e99da0999
    7777
    7878    conflicts           gnss-sdr gnss-sdr-devel
    7979
    … …  
    8585
    8686    livecheck.url   ${github.homepage}/commits/next.atom
    8787
     88    configure.args-append \
     89        -DENABLE_UNIT_TESTING=OFF
     90
    8891}
    8992
    9093# override github PortGroup homepage setting