update install script

STAMP-project · Jan 2, 2017 · 7b8481c · 7b8481c
1 parent bf42790
commit 7b8481c
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/.travis_install.sh b/.travis_install.sh
@@ -2,14 +2,22 @@
 
 cd ..
 
-git clone https://github.com/DIVERSIFY-project/sosiefier.git
+git clone https://github.com/INRIA/spoon.git
+cd spoon
+mvn install -DskipTests
+
+cd ..
+
+git clone https://github.com/danglotb/sosiefier.git
 cd sosiefier
+git checkout spoon-version
 mvn install
 
 cd ..
 
-git clone https://github.com/DIVERSIFY-project/diversify-profiling.git
+git clone https://github.com/danglotb/diversify-profiling.git
 cd diversify-profiling
+git checkout spoon-version
 mvn install
 
 cd ../dspot