Mercurial > hg > dml-home
changeset 99:81d8cac0a8b9 dml-dockerised
added specific cliopatria hooks as current repo version fails
| author | wolffd <wolffd.mail@googlemail.com> |
|---|---|
| date | Fri, 29 Jun 2018 15:58:29 +0100 |
| parents | 672e1c8fb1f3 |
| children | a4cd935561d4 |
| files | etc/setup_as_dml.sh |
| diffstat | 1 files changed, 4 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/etc/setup_as_dml.sh Mon Jun 18 17:09:07 2018 +0100 +++ b/etc/setup_as_dml.sh Fri Jun 29 15:58:29 2018 +0100 @@ -86,7 +86,10 @@ # DOWNLOADS FROM REPOs get_repo_into ~/src/github git https://github.com/samer--/ClioPatria -cd ~/src/github/ClioPatria && git checkout dml +cd ~/src/github/ClioPatria +# git checkout dml +git checkout d868d5f978d665d2acb07ee83b640f05f2e9eaef #current dev cliopatria version (2016) +# git checkout 9f657262a4612748a5ef374d96a0257344e4032d #current VM clio version (2015) get_repo_into ~/src/github git https://github.com/humdrum-tools/humdrum-tools --recursive if [ $MAKE_HUMDRUM == yes ]; then cd ~/src/github/humdrum-tools && make