/
Portfile
68 lines (57 loc) · 2.63 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
64
65
66
67
68
# -*- 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
name swi-prolog
conflicts swi-prolog-devel
epoch 20051223
version 8.2.1
revision 0
categories lang
platforms darwin
universal_variant no
license BSD
maintainers {cwi.nl:J.Wielemaker @JanWielemaker} openmaintainer
description SWI-Prolog compiler plus extra packages (stable version)
long_description ISO/Edinburgh-style Prolog compiler including modules, \
autoload, libraries, Garbage-collector, stack-expandor, \
C/C++-interface, Multiple threads, GNU-readline interface, \
coroutining, constraint programming, global variables, \
very fast compiler. Including packages clib (Unix process \
control, sockets, MIME), cpp (C++ interface), sgml (reading \
XML/SGML), sgml/RDF (reading RDF into triples), ODBC \
interface and XPCE (Graphics UI toolkit, integrated editor \
(Emacs-clone) and graphical debugger).
homepage https://www.swi-prolog.org/
master_sites https://www.swi-prolog.org/download/stable/src/
distname swipl-${version}
dist_subdir swi-prolog
checksums rmd160 23386107501c910bf4af88021dae8cc7a59d39c8 \
sha256 331bc5093d72af0c9f18fc9ed83b88ef9ddec0c8d379e6c49fa43739c8bda2fb \
size 10969688
depends_build-append \
port:pkgconfig
depends_lib-append port:db53 \
port:gmp \
port:gperftools \
port:jpeg \
port:libarchive \
port:libmcrypt \
port:ncurses \
port:ossp-uuid \
port:pcre \
port:readline \
port:Xft2 \
port:xorg-libXinerama \
port:xorg-libXt \
port:xpm \
port:libyaml \
port:zlib
configure.cmd cmake
cmake.generator Ninja
configure.pre_args -DCMAKE_INSTALL_PREFIX=${prefix} \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_INCLUDE_PATH=${prefix}/include \
-DCMAKE_LIBRARY_PATH=/usr/lib:${prefix}/lib
livecheck.type regex
livecheck.url ${homepage}download/stable/src
livecheck.regex "swipl-(\\d+\\.\\d+\\.\\d+).tar.gz"