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