# -*- 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
# SPDX-License-Identifier: MPL-2.0

PortSystem          1.0
PortGroup           cargo 1.0
PortGroup           github 1.0

github.setup        hyperpolymath echidnabot 0.1.0 v
revision            0
categories          devel
license             MPL-2.0
maintainers         {hyperpolymath @hyperpolymath}
description         Proof-aware CI bot for theorem proof verification
long_description    ECHIDNABOT is a proof-aware CI bot that orchestrates ECHIDNA \
                    for theorem proof verification. It integrates with GitHub to \
                    automatically verify formal proofs in pull requests.

homepage            https://github.com/hyperpolymath/echidnabot

checksums           rmd160  SKIP \
                    sha256  SKIP \
                    size    SKIP

depends_lib-append  port:openssl

cargo.crates        # Will be auto-populated by cargo2port

destroot {
    xinstall -m 755 ${worksrcpath}/target/release/echidnabot ${destroot}${prefix}/bin/
}
