Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / deploy-cs.sh
index 3e3dcc7..bafb92a 100755 (executable)
@@ -4,10 +4,11 @@
 set -e
 
 BASE=../
-SERVERS="dc-8.calit2.uci.edu dc-9.calit2.uci.edu dc-10.calit2.uci.edu dc-11.calit2.uci.edu"
+SERVERS="dc-5.calit2.uci.edu dc-7.calit2.uci.edu dc-8.calit2.uci.edu dc-9.calit2.uci.edu dc-10.calit2.uci.edu dc-11.calit2.uci.edu"
 REMOTEDIR="/scratch/hamed/"
 INFILE="constraint_compiler/"
 SRC="constraint_compiler/src/"
+SHAREDDIR=~/
 OUTFILE=csolver.tar.gz
 USER=hamed
 
@@ -17,6 +18,6 @@ rm -f $OUTFILE
 tar -czvf $OUTFILE $INFILE
 
 for SERVER in $SERVERS; do
-       scp $OUTFILE "$USER@$SERVER:$REMOTEDIR"
-       ssh $USER@$SERVER "cd $REMOTEDIR; sudo rm -r $SRC; tar -xzvf $OUTFILE; cd $SRC; make clean; ./setup.sh"
+       cp $OUTFILE $SHAREDDIR
+       ssh $USER@$SERVER "mv $SHAREDDIR$OUTFILE $REMOTEDIR; cd $REMOTEDIR; sudo rm -r $SRC; tar -xzvf $OUTFILE; cd $SRC; make clean; ./setup.sh"
 done