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