# -*- 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.0 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  75fa260bac2142ce6d72533a7943085a017f1cf5 \
                    sha256  146adc0d3f6fe8038adb6b8b69dd16114a4be12f520d5c1fb333f3746d233abe \
                    size    641486

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