From abdfc39dcb990e4fc85539ac0915129dd18b2570 Mon Sep 17 00:00:00 2001 From: FaustXVI Date: Sat, 19 Mar 2016 14:16:36 +0100 Subject: [PATCH] Use last version of swi-prolog Add official swi-prolog stable repository before installing swi-prolog so we get the last prolog version. --- prolog-swi-apt/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/prolog-swi-apt/Dockerfile b/prolog-swi-apt/Dockerfile index b203a9b..f33cdb9 100644 --- a/prolog-swi-apt/Dockerfile +++ b/prolog-swi-apt/Dockerfile @@ -1,6 +1,7 @@ FROM nacyot/ubuntu MAINTAINER Daekwon Kim +RUN apt-add-repository ppa:swi-prolog/stable RUN apt-get update RUN apt-get install -y swi-prolog