Package Details: swi-prolog-devel 8.3.13-1

Git Clone URL: https://aur.archlinux.org/swi-prolog-devel.git (read-only, click to copy)
Package Base: swi-prolog-devel
Description: Prolog environment (development version)
Upstream URL: https://www.swi-prolog.org/
Licenses: GPL, LGPL
Conflicts: swi-prolog
Provides: swi-prolog
Submitter: metasyntax
Maintainer: archery
Last Packager: archery
Votes: 13
Popularity: 0.000000
First Submitted: 2011-05-13 22:20
Last Updated: 2020-11-17 02:47

Dependencies (22)

Required by (7)

Sources (1)

Latest Comments

1 2 Next › Last »

archery commented on 2020-06-01 18:44

The hanging problem was fixed upstream a while ago.

redfast00 commented on 2020-03-26 23:52

Does not seem to build anymore on my machine: it gets stuck after:

Test project /home/jdv/.cache/yay/swi-prolog-devel/src/build
      Start  1: swipl:basic
      Start  2: swipl:unprotected
      Start  3: swipl:core
      Start  4: swipl:attvar
      Start  5: swipl:debug
      Start  6: swipl:tabling
      Start  7: swipl:library
      Start  8: swipl:charset
 1/64 Test  #8: swipl:charset ....................   Passed    0.26 sec
      Start  9: swipl:eclipse
 2/64 Test  #2: swipl:unprotected ................   Passed    0.35 sec
      Start 10: swipl:clp
 3/64 Test  #4: swipl:attvar .....................   Passed    0.44 sec
      Start 11: swipl:GC
 4/64 Test  #9: swipl:eclipse ....................   Passed    0.20 sec
      Start 12: swipl:save
 5/64 Test #10: swipl:clp ........................   Passed    0.26 sec
      Start 13: swipl:xsb/basic_tests
 6/64 Test #13: swipl:xsb/basic_tests ............   Passed    0.57 sec
      Start 14: swipl:xsb/ai_tests
 7/64 Test  #5: swipl:debug ......................   Passed    1.24 sec
      Start 15: swipl:xsb/ptq
 8/64 Test  #1: swipl:basic ......................   Passed    1.53 sec
      Start 16: swipl:xsb/neg_tests
 9/64 Test #15: swipl:xsb/ptq ....................   Passed    0.51 sec
      Start 17: swipl:xsb/delay_tests
10/64 Test #11: swipl:GC .........................   Passed    1.34 sec
      Start 18: swipl:xsb/wfs_tests
11/64 Test #14: swipl:xsb/ai_tests ...............   Passed    0.61 sec
      Start 19: swipl:xsb/table_tests
12/64 Test #16: swipl:xsb/neg_tests ..............   Passed    0.49 sec
      Start 20: swipl:xsb/incremental_tests
13/64 Test  #7: swipl:library ....................   Passed    2.08 sec
      Start 21: swipl:xsb/nonmt_tests
14/64 Test #18: swipl:xsb/wfs_tests ..............   Passed    0.46 sec
      Start 22: swipl:xsb/sub_tests
15/64 Test #20: swipl:xsb/incremental_tests ......   Passed    0.30 sec
      Start 23: swipl:thread
16/64 Test #19: swipl:xsb/table_tests ............   Passed    0.53 sec
      Start 24: chr:chr
17/64 Test #12: swipl:save .......................   Passed    1.93 sec
      Start 25: clib:cgi
18/64 Test #21: swipl:xsb/nonmt_tests ............   Passed    0.32 sec
      Start 26: clib:crypt
19/64 Test #17: swipl:xsb/delay_tests ............   Passed    0.72 sec
      Start 27: clib:memfile
20/64 Test #25: clib:cgi .........................   Passed    0.19 sec
      Start 28: clib:process
21/64 Test #26: clib:crypt .......................   Passed    0.18 sec
      Start 29: clib:readutil
22/64 Test #22: swipl:xsb/sub_tests ..............   Passed    0.35 sec
      Start 30: clib:socket
23/64 Test #27: clib:memfile .....................   Passed    0.17 sec
      Start 31: clib:stream
24/64 Test #29: clib:readutil ....................   Passed    0.15 sec
      Start 32: clib:time
25/64 Test #31: clib:stream ......................   Passed    0.16 sec
      Start 33: clib:uri
26/64 Test #28: clib:process .....................   Passed    0.25 sec
      Start 34: http:cgi_stream
27/64 Test #33: clib:uri .........................   Passed    0.22 sec
      Start 35: http:http
28/64 Test #34: http:cgi_stream ..................   Passed    0.30 sec
      Start 36: http:json
29/64 Test  #6: swipl:tabling ....................   Passed    3.15 sec
      Start 37: http:multipart
30/64 Test #37: http:multipart ...................   Passed    0.36 sec
      Start 38: http:proxy
31/64 Test #36: http:json ........................   Passed    0.38 sec
      Start 39: http:websocket
32/64 Test #24: chr:chr ..........................   Passed    1.22 sec
      Start 40: nlp:nlp
33/64 Test #32: clib:time ........................   Passed    0.96 sec
      Start 41: pengines:pengines
34/64 Test #40: nlp:nlp ..........................   Passed    0.19 sec
      Start 42: pengines:term_html
35/64 Test #39: http:websocket ...................   Passed    0.39 sec
      Start 43: protobufs:protobufs
36/64 Test #42: pengines:term_html ...............   Passed    0.28 sec
      Start 44: RDF:rdf
37/64 Test #38: http:proxy .......................   Passed    0.54 sec
      Start 45: RDF:write
38/64 Test #43: protobufs:protobufs ..............   Passed    0.17 sec
      Start 46: semweb:con
39/64 Test #44: RDF:rdf ..........................   Passed    0.24 sec
      Start 47: semweb:litmap
40/64 Test #46: semweb:con .......................   Passed    0.21 sec
      Start 48: semweb:load
41/64 Test #45: RDF:write ........................   Passed    0.33 sec
      Start 49: semweb:ntriples
42/64 Test #47: semweb:litmap ....................   Passed    0.23 sec
      Start 50: semweb:rdf11
43/64 Test #49: semweb:ntriples ..................   Passed    0.22 sec
      Start 51: semweb:rdf_db
44/64 Test #50: semweb:rdf11 .....................   Passed    0.28 sec
      Start 52: semweb:subprop
45/64 Test #51: semweb:rdf_db ....................   Passed    0.34 sec
      Start 53: semweb:turtle2
46/64 Test #35: http:http ........................   Passed    2.18 sec
      Start 54: semweb:turtle
47/64 Test  #3: swipl:core .......................   Passed    5.27 sec
      Start 55: sgml:sgml
48/64 Test #53: semweb:turtle2 ...................   Passed    0.34 sec
      Start 56: sgml:sgml_write
49/64 Test #48: semweb:load ......................   Passed    1.13 sec
      Start 57: sgml:xsd
50/64 Test #56: sgml:sgml_write ..................   Passed    0.18 sec
      Start 58: zlib:zlib
51/64 Test #55: sgml:sgml ........................   Passed    0.23 sec
      Start 59: bdb:bdb
52/64 Test #57: sgml:xsd .........................   Passed    0.14 sec
      Start 60: pcre:pcre
53/64 Test #60: pcre:pcre ........................   Passed    0.10 sec
      Start 61: yaml:yaml
54/64 Test #59: bdb:bdb ..........................   Passed    0.18 sec
      Start 62: jpl:prolog_in_java
55/64 Test #61: yaml:yaml ........................   Passed    0.24 sec
      Start 63: jpl:java_in_prolog
56/64 Test #58: zlib:zlib ........................   Passed    0.53 sec
      Start 64: ssl:ssl
57/64 Test #62: jpl:prolog_in_java ...............***Failed    0.52 sec
58/64 Test #52: semweb:subprop ...................   Passed    1.61 sec
59/64 Test #63: jpl:java_in_prolog ...............   Passed    0.74 sec
60/64 Test #54: semweb:turtle ....................   Passed    1.49 sec
61/64 Test #30: clib:socket ......................   Passed    4.18 sec
62/64 Test #41: pengines:pengines ................   Passed    3.60 sec
63/64 Test #23: swipl:thread .....................   Passed    6.88 sec

archery commented on 2019-09-14 20:02

Thanks, I added cmake to makedepends, and updated the build to produce 20%-30% faster code using Profile-guided-optimization (PGO).

driib commented on 2019-08-28 08:38

Fails without CMake installed:

PKGBUILD: line 35: cmake: command not found

After installing cmake, one has to rm -rf ~/.cache/pacaur/swi-prolog-devel if you get an error regarding an existing 'build/' folder.

bezirg commented on 2015-06-03 11:12

Updated. Thanks very much for the patch. Added as contributor.

bezirg commented on 2015-04-22 20:57

Updated. Sorry for the delay.

bezirg commented on 2014-11-18 09:49

Updated to latest version.

bezirg commented on 2014-08-20 21:03

Updated to the latest development version.

Matteotom commented on 2013-10-13 23:06

Could you please add

provides=("swi-prolog=${pkgver}" "swi-prolog-devel=${pkgver}")

to the pkgbuild? This allows this package to take the place of swi-prolog for the purpose of dependencies.

Thanks.

metasyntax commented on 2013-01-22 21:41

Oh yes, that is quite out of date. Sorry about that; I had updated it in my Mercurial repository but not in the AUR.