casa-mp-base

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

​

PortSystem          1.0

PortGroup           select 1.0

​

name                fstar_select

version             1.3

​

categories          sysutils lang

platforms           darwin

maintainers         {landonf @landonf} openmaintainer

license             BSD

supported_archs     noarch

​

description         common files for selecting default fstar version

long_description \

    fstar_select installs files that allow 'port select' to switch the \

    default F* compiler. It creates unsuffixed symlinks in the \

    MacPorts prefix that point to the selected version.

​

homepage            https://fstar-lang.org

distfiles

​

use_configure       no

​

options fstar.project \

        fstar.bin

​

fstar.project       fstar

fstar.bin           fstar

​

subport kremlin_select {

    description         common files for selecting default kremlin version

    long_description \

        kremlin_select installs files that allow 'port select' to switch the \

        default KreMLin compiler. It creates unsuffixed symlinks in the \

        MacPorts prefix that point to the selected version.

​

    fstar.project   kremlin

    fstar.bin       krml

}

​

build {

    file mkdir ${worksrcpath}

​

    copy -- ${filespath}/base.in \

        ${worksrcpath}/base

​

    foreach {fstar_key fstar_var} {

        @FSTAR_PROJECT@     fstar.project

        @FSTAR_BIN@         fstar.bin

    } {

        reinplace "s|${fstar_key}|[set ${fstar_var}]|g" \

            ${worksrcpath}/base

    }

}

​

destroot {

    select::install ${fstar.project} ${worksrcpath}/base

    select::install ${fstar.project} ${filespath}/none

}

​

livecheck.type      none