Mercurial > hg > dml-home
comparison etc/setup_as_dml.sh @ 12:4bf4943f93a4
Forgot to switch branches in ClioPatria repo - now added in ~/etc/setup_as_dml.sh
author | samer |
---|---|
date | Mon, 19 Jan 2015 14:23:19 +0000 |
parents | 43c065ae6852 |
children | 2059c4f64feb |
comparison
equal
deleted
inserted
replaced
11:43c065ae6852 | 12:4bf4943f93a4 |
---|---|
63 install_swi | 63 install_swi |
64 fi | 64 fi |
65 | 65 |
66 # DOWNLOADS FROM REPOs | 66 # DOWNLOADS FROM REPOs |
67 get_repo_into ~/src/github git https://github.com/samer--/ClioPatria | 67 get_repo_into ~/src/github git https://github.com/samer--/ClioPatria |
68 cd ~/src/github/ClioPatria && git checkout dml | |
68 get_repo_into ~/src/github git https://github.com/humdrum-tools/humdrum-tools --recursive | 69 get_repo_into ~/src/github git https://github.com/humdrum-tools/humdrum-tools --recursive |
69 if [ $MAKE_HUMDRUM == yes ]; then | 70 if [ $MAKE_HUMDRUM == yes ]; then |
70 cd ~/src/github/humdrum-tools && make | 71 cd ~/src/github/humdrum-tools && make |
71 fi | 72 fi |
72 | 73 |