increase swipl version in docker image

canbican · canbican · commit 94c2223a4944 · 2020-04-22T18:07:22.000+02:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM swipl:7.7.16
+FROM swipl:8.1.12
 LABEL maintainer "Can Bican <can@bican.net>"
 RUN apt-get update
 RUN apt-get install -qq -y gcc make dh-autoreconf wget pkg-config libssl-dev git libgpm2

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM swipl:7.7.16`
	`1`	`+FROM swipl:8.1.12`
`2`	`2`	`LABEL maintainer "Can Bican <can@bican.net>"`
`3`	`3`	`RUN apt-get update`
`4`	`4`	`RUN apt-get install -qq -y gcc make dh-autoreconf wget pkg-config libssl-dev git libgpm2`