# HG changeset patch
# User wolffd <wolffd.mail@googlemail.com>
# Date 1530284309 -3600
# Node ID 81d8cac0a8b996e1f1abb636cef4b53eb94ddc8a
# Parent  672e1c8fb1f32a46223340b6649dfbc8ae2a02dc
added specific cliopatria hooks as current repo version fails

diff -r 672e1c8fb1f3 -r 81d8cac0a8b9 etc/setup_as_dml.sh
--- 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