diff options
Diffstat (limited to 'tools/epfl-build-2.8.x')
-rwxr-xr-x | tools/epfl-build-2.8.x | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/tools/epfl-build-2.8.x b/tools/epfl-build-2.8.x new file mode 100755 index 0000000000..0fd64cf842 --- /dev/null +++ b/tools/epfl-build-2.8.x @@ -0,0 +1,30 @@ +#!/bin/sh -e +# +# Jenkins should run tools/$0 --publish "$ssh_conn:$nightly_dir" + +unset rsyncDest +if [ "$1" == "--publish" ]; then + rsyncDest="$2" +fi + +# should not be hardcoded +mavenSettings="/home/linuxsoft/apps/hudson-maven-settings/settings.xml" + +# main build sequence +ant all.clean +./pull-binary-libs.sh +ant nightly +ant docscomp + +# publish nightly build +if [ -n "$rsyncDest" ]; then + echo "Copying nightly build to $rsyncDest" + # Archive Scala nightly distribution + # Tailing slash is required, otherwise the directory gets synchronized instead of its content + rsync -az dists/archives/ "$rsyncDest/distributions" + # SKIP PUBLISHING DOCS IN 2.8.X BRANCH + # rsync -az scala/build/scaladoc/ "$rsyncDest/docs" + rsync -az dists/sbaz/ "$rsyncDest/sbaz" + # Deploy the maven artifacts on scala-tools.org + ( cd dists/maven/latest && ant deploy.snapshot -Dsettings.file="$mavenSettings" ) +fi |