X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=deploy-cs.sh;h=2f41b3271e9c7cbe088b2c8f56019ab52a91c92c;hp=3e3dcc76fe84a43617ad19dd50da2261fae4e189;hb=51799c65144abda2e95b5bab5a0af868b3378714;hpb=b6548cbf08f020e5d28e3d816ca1b5cc0be5cb2a

diff --git a/deploy-cs.sh b/deploy-cs.sh
index 3e3dcc7..2f41b32 100755
--- a/deploy-cs.sh
+++ b/deploy-cs.sh
@@ -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-4.calit2.uci.edu dc-5.calit2.uci.edu dc-6.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
 
@@ -16,7 +17,7 @@ cd $BASE
 rm -f $OUTFILE
 tar -czvf $OUTFILE $INFILE
 
+cp $OUTFILE $SHAREDDIR
 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"
+	ssh $USER@$SERVER "cp $SHAREDDIR$OUTFILE $REMOTEDIR; cd $REMOTEDIR; sudo rm -r $SRC; tar -xzvf $OUTFILE; cd $SRC; make clean; ./setup.sh"
 done