ci/ci-pharo-common.sh
changeset 556 51c6afba5c91
parent 555 4aa0496e6c22
--- a/ci/ci-pharo-common.sh	Mon Jan 18 08:05:03 2016 +0000
+++ b/ci/ci-pharo-common.sh	Sat Mar 19 00:12:47 2016 +0100
@@ -20,26 +20,22 @@
     fi
 
     if [ ! -x pharo-ui ]; then
-        rm -rf pharo pharo-ui pharo-vm
-        if [ "$PHARO" == "5.0" ]; then
-            wget -O- http://swing.fit.cvut.cz/download/pharo/vm-spur-swing | bash
-        else
-            wget -O- http://swing.fit.cvut.cz/download/pharo/vm-swing | bash
-        fi
-    fi
+        rm -rf pharo pharo-ui pharo-vm Pharo.image Pharo.changes
+	case "$PHARO" in 
+            5.0)
+                wget -O- get.pharo.org/50+vm | bash
+                ;;	
 
-    if [ ! -r Pharo.image ]; then
-        rm -rf Pharo.image Pharo.changes
-        if [ "$PHARO" == "3.0" ]; then
-            wget -O- get.pharo.org/30 | bash
-        elif [  "$PHARO" == "4.0"  ]; then
-            wget -O- get.pharo.org/40 | bash
-        elif [  "$PHARO" == "5.0"  ]; then
-            wget -O- get.pharo.org/50 | bash   
-        else
-            echo "Unknown PHARO version: $PHARO"
-            exit 1
-        fi
+            4.0)
+                wget -O- get.pharo.org/40+vm | bash
+                ;;	
+            3.0)
+                wget -O- get.pharo.org/30+vm | bash
+                ;;	
+            *)
+                echo "Unknown PHARO version: $PHARO"
+                exit 1
+        esac
     fi
 }