-
-
Notifications
You must be signed in to change notification settings - Fork 1.3k
/
Portfile
63 lines (47 loc) · 2.15 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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
# -*- 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
github.setup latte-int latte 1_7_6 version_
name latte-int
version [string map {_ .} ${github.version}]
revision 3
categories math
license GPL-2
maintainers {@catap korins.ky:kirill} openmaintainer
homepage https://www.math.ucdavis.edu/~latte/
description LattE integrale, software for counting lattice points and integration over convex polytopes
long_description {*}${description}
checksums rmd160 1611fb65489800fea6f221ec64c0ebc7081445bc \
sha256 458b487bd10ca0fa3b1e36fb0b3a4d58b448d77c69d8ce34be0b53e97cebb394 \
size 9769267
patchfiles lowercased-options.diff \
redundant-AC_CONFIG_MACRO_DIR.diff \
remove-dynamic-exceptions.diff
compiler.cxx_standard 2017
configure.cxxflags-append -std=c++17
use_autoreconf yes
autoreconf.args -fvi
depends_lib-append port:4ti2 \
port:LiDIA \
port:TOPCOM \
port:cddlib \
port:gmp \
port:lrslib \
port:ntl
configure.env-append PATH=${prefix}/libexec/cddlib/bin:${prefix}/libexec/lrslib/bin:$env(PATH)
configure.args-append --disable-experiments \
--enable-database \
--enable-programmer-helper
variant experimental description {Enable support for experimental features} {
configure.args-replace \
--disable-experiments \
--enable-experiments
}
default_variants-append +experimental
post-destroot {
xinstall -m 755 -d ${destroot}${prefix}/libexec/${name}
move ${destroot}${prefix}/bin ${destroot}${prefix}/libexec/${name}
}
notes "
The ${name} binary files are now installed into ${prefix}/libexec/${name}/bin
"