# -*- 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           github 1.0
PortGroup           cmake 1.1

github.setup        SRI-CSL libpoly 0.2.1 v
github.tarball_from archive
revision            0

categories          devel
license             LGPL-3
maintainers         {judaew @judaew} openmaintainer

description         LibPoly is a C library for manipulating polynomials.
long_description    \
    LibPoly is a C library for manipulating polynomials. The target \
    applications are symbolic reasoning engines, such as SMT solvers, that \
    need to reason about polynomial constraints. It is research software \
    under development, so the features and the API might change rapidly.

checksums           rmd160  a6729d65341be352cd93b4494ea8c755a533bd35 \
                    sha256  b662ea4d7515426aeccda090339dbb086629a2f6ba4688b7710a892f7d2c7c58 \
                    size    629599

depends_lib-append  port:gmp

compiler.c_standard 2011

configure.args-append \
                    -DLIBPOLY_BUILD_STATIC_PIC=OFF \
                    -DLIBPOLY_BUILD_STATIC=OFF \
                    -DLIBPOLY_BUILD_PYTHON_API=OFF
