Mercurial > hg > dml-home
comparison 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 |
comparison
equal
deleted
inserted
replaced
99:81d8cac0a8b9 | 100:a4cd935561d4 |
---|---|
76 if [ $INSTALL_SWI == yes ]; then | 76 if [ $INSTALL_SWI == yes ]; then |
77 install_swi | 77 install_swi |
78 fi | 78 fi |
79 | 79 |
80 if [ $INSTALL_SWI_PACKS == yes ]; then | 80 if [ $INSTALL_SWI_PACKS == yes ]; then |
81 swipl -g 'maplist(pack_install,[lambda,prosqlite,memo,callgraph,swipe,sparkle,musicbrainz,plsmf,plumdrum,sindice]), halt' | 81 swipl -g 'maplist(pack_install,[lambda,real,prosqlite,memo,callgraph,swipe,sparkle,musicbrainz,plsmf,plumdrum,sindice]), halt' |
82 if [ $HAVE_MATLAB == yes ]; then | 82 if [ $HAVE_MATLAB == yes ]; then |
83 swipl -g 'pack_install(plml), halt' | 83 swipl -g 'pack_install(plml), halt' |
84 fi | 84 fi |
85 fi | 85 fi |
86 | 86 |