Skip to content

Commit 3e16ae0

Browse files
committed
add swi-prolog 9.2.9
1 parent 4745a14 commit 3e16ae0

2 files changed

Lines changed: 58 additions & 0 deletions

File tree

recipes/devel/swi-prolog.yaml

Lines changed: 57 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
inherit: [cmake]
2+
3+
metaEnvironment:
4+
PKG_DESCRIPTION: "SWI Prolog"
5+
PKG_LICENSE: "BSD-2-Clause"
6+
PKG_VERSION: "9.2.9"
7+
8+
depends:
9+
- libs::gmp-dev
10+
- libs::pcre2-dev
11+
- libs::openssl-dev
12+
- libs::zlib-dev
13+
- use: []
14+
depends:
15+
- libs::gmp-tgt
16+
- libs::pcre2-tgt
17+
- libs::openssl-tgt
18+
- libs::zlib-tgt
19+
20+
checkoutSCM:
21+
scm: url
22+
url: https://www.swi-prolog.org/download/stable/src/swipl-${PKG_VERSION}.tar.gz
23+
digestSHA256: "53f428e2d9bbdf30e53b06c9c42def9a13ff82fc36a111d410fc8b0bc889ee2d"
24+
stripComponents: 1
25+
26+
buildTools: [host-toolchain]
27+
buildVars: [CC, CXX]
28+
buildScript: |
29+
cmakeBuild $1 \
30+
-DOPENSSL_INCLUDE_DIR="${BOB_DEP_PATHS['libs::openssl-dev']}/usr/include/openssl" \
31+
-DOPENSSL_OS_LIBS="${BOB_DEP_PATHS['libs::zlib-dev']}/usr/lib/libz.a" \
32+
-DPCRE_LIBRARY="${BOB_DEP_PATHS['libs::pcre2-dev']}/usr/lib/libpcre2-8.a" \
33+
-DPCRE_INCLUDE_DIR="${BOB_DEP_PATHS['libs::pcre2-dev']}/usr/include" \
34+
-DINSTALL_DOCUMENTATION=OFF \
35+
-DSKIP_SSL_TESTS=ON \
36+
-DINSTALL_TESTS=OFF \
37+
-DSWIPL_INSTALL_IN_LIB=ON \
38+
-DSWIPL_SHARED_LIB=OFF \
39+
-DSWIPL_STATIC_LIB=ON \
40+
-DSWIPL_PACKAGES=OFF \
41+
-DSWIPL_PACKAGE_LIST='clib;http;pcre;plunit;sgml' \
42+
-DSWIPL_CC="${CC}" \
43+
-DSWIPL_CXX="${CXX}" \
44+
-DCMAKE_HOST_CC="gcc" \
45+
-DCMAKE_HOST_CXX="g++" \
46+
-DRUN_RESULT=0 \
47+
-DRUN_RESULT__TRYRUN_OUTPUT="" \
48+
-DHAVE_WEAK_ATTRIBUTE_EXITCODE=0 \
49+
-DHAVE_WEAK_ATTRIBUTE_EXITCODE__TRYRUN_OUTPUT=""
50+
51+
packageScript: |
52+
cmakePackageBin
53+
54+
provideTools:
55+
swiProlog:
56+
path: "usr/bin"
57+
libs: [ "usr/lib/swipl/lib/x86_64-linux" ]

tests/buildall/recipes/buildall.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ depends:
1212
- devel::nasm
1313
- devel::rpcsvc-proto
1414
- devel::squashfs-tools
15+
- devel::swi-prolog
1516

1617
- name: libs::protobuf
1718
use: [tools]

0 commit comments

Comments
 (0)