diff etc/setup_as_dml.sh @ 100:a4cd935561d4 dml-dockerised tip

small updates and version pin for cliopatria
author wolffd <wolffd.mail@googlemail.com>
date Fri, 29 Jun 2018 17:48:41 +0100
parents 81d8cac0a8b9
children
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Fri Jun 29 15:58:29 2018 +0100
+++ b/etc/setup_as_dml.sh	Fri Jun 29 17:48:41 2018 +0100
@@ -78,7 +78,7 @@
 fi
 
 if [ $INSTALL_SWI_PACKS == yes ]; then
-	swipl -g 'maplist(pack_install,[lambda,prosqlite,memo,callgraph,swipe,sparkle,musicbrainz,plsmf,plumdrum,sindice]), halt'
+	swipl -g 'maplist(pack_install,[lambda,real,prosqlite,memo,callgraph,swipe,sparkle,musicbrainz,plsmf,plumdrum,sindice]), halt'
 	if [ $HAVE_MATLAB == yes ]; then
 		swipl -g 'pack_install(plml), halt'
 	fi