Mercurial > hg > dml-home
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