changeset 98:672e1c8fb1f3 dml-dockerised

curl for swipl
author wolffd <wolffd.mail@googlemail.com>
date Mon, 18 Jun 2018 17:09:07 +0100
parents a0304c86c5b3
children 81d8cac0a8b9
files etc/setup_as_root.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/etc/setup_as_root.sh	Mon Jun 18 17:07:50 2018 +0100
+++ b/etc/setup_as_root.sh	Mon Jun 18 17:09:07 2018 +0100
@@ -40,7 +40,7 @@
 	DO=
 fi
 # APT GET installs
-$DO apt-get install -y build-essential autoconf mercurial git pkg-config screen
+$DO apt-get install -y build-essential autoconf mercurial git pkg-config screen curl
 $DO apt-get install -y libossp-uuid-dev libssl-dev zlib1g-dev unixodbc-dev libsmf-dev libsqlite3-dev
 $DO apt-get install -y graphviz lilypond pdf2svg texlive-font-utils p7zip-full
 $DO apt-get install -y vorbis-tools lame sox faad flac libsox-fmt-all fluidsynth