Travis: deploy latest JAR built by Bazel

EduMIPS64 · Jul 26, 2018 · 87fda90 · 87fda90
1 parent 6df923b
commit 87fda90
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/utils/update-gh-pages.sh b/utils/update-gh-pages.sh
@@ -38,10 +38,9 @@ echo "Git branch: $TRAVIS_BRANCH"
 # Execute special per-branch actions.
 if [ "$TRAVIS_BRANCH" == "master" ]; then
   # Build JAR.
-  echo -n "Building JAR.. "
-  ant latest-jar > /dev/null
+  echo -n "Copying latest JAR to ${GH_PAGES_DIR}.. "
+  cp bazel-genfiles/src/main/java/org/edumips64/edumips64-1.*.jar ${GH_PAGES_DIR}/edumips64-latest.jar
   echo "done."
-  cp edumips64-latest.jar ${GH_PAGES_DIR}
 
   # Deploy the last version of the web UI.
   deploy_webui ${GH_PAGES_DIR}