/
Portfile
36 lines (30 loc) · 1.4 KB
/
Portfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
# -*- 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 cmake 1.1
PortGroup compiler_blacklist_versions 1.0
PortGroup github 1.0
github.setup PetterS qepcad d9b8661bc37bbb50a3ac4a90a3000e602fda8f15
version 2023.03.12
revision 0
categories math
license Restrictive
maintainers {@barracuda156 gmail.com:vital.had} openmaintainer
description Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
long_description {*}${description}
checksums rmd160 29f12c1c86a0f09811f5d604c4222318b5369b23 \
sha256 47cf38b51af7b76f1184ce2e253a33c5cb11129606e274878a2599fc379c8b43 \
size 4542287
compiler.blacklist-append *gcc-4.* {clang < 421}
if {[string match *clang* ${configure.compiler}]} {
# error: implicit declaration of function 'FPCATCH' is invalid in C99
configure.cflags-append \
-Wno-error=implicit-function-declaration \
-Wno-error=return-type
}
destroot {
move ${cmake.build_dir}/bin/${name} ${destroot}${prefix}/bin
xinstall -d ${destroot}${prefix}/lib/${name}
move {*}[glob ${cmake.build_dir}/lib/*.a ${destroot}${prefix}/lib/${name}]
}
test.run yes
test.cmd ctest