You've already forked macports-ports
mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
Vadym-Valdis Yudaiev
34 lines
1.2 KiB
Tcl
34 lines
1.2 KiB
Tcl
# -*- 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
|