Mercurial > hg > dml-home
changeset 61:0fff15c51019
Merge.
| author | samer |
|---|---|
| date | Wed, 20 May 2015 17:00:04 +0100 |
| parents | 1a2e9d3adcb2 (current diff) 085078c8b516 (diff) |
| children | 5dcf2b77e459 cecf0cf46db3 |
| files | .swiplrc var/dml/settings.db |
| diffstat | 3 files changed, 17 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/.swiplrc Wed May 20 16:58:09 2015 +0100 +++ b/.swiplrc Wed May 20 17:00:04 2015 +0100 @@ -1,4 +1,4 @@ -:- op(200,fy,@). +:- op(200,fy,@). % Shouldn't really need this... colour_terminal :- stream_property(user_output, tty(true)),
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/swipl/upgrade_swipl Wed May 20 17:00:04 2015 +0100 @@ -0,0 +1,13 @@ +#!/bin/sh +set -e # exit on error +if [ $# -lt 1 ]; then + echo "Usage: upgrade_swipl <version>" + echo "Eg: upgrade_swipl 7.3.1" + exit +fi + +ver="$1" +cd ~/src/swipl +curl "http://www.swi-prolog.org/download/devel/src/swipl-$ver.tar.gz" | tar xz +(cd "swipl-$ver" && cp -p ../http_openid.pl packages/http && cp ../build . && ./build) +swipl -g "maplist(pack_rebuild,[real,prosqlite,plml,plsmf]), halt"
--- a/var/dml/settings.db Wed May 20 16:58:09 2015 +0100 +++ b/var/dml/settings.db Wed May 20 17:00:04 2015 +0100 @@ -44,3 +44,6 @@ % Keep information to support source-level debugging setting(swish:debug_info, true). + +% Enables automatic semantic web searches for recognised URIs +setting(crawler:enable_auto_crawl, false).