From 06899d02c0cd98d611c9bd485b0ef49959dfdc4c Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 26 Dec 2013 02:25:09 -0500
Subject: [PATCH] chore(travis): upload Lean package to Dropbox

---
 .travis.osx.yml     | 8 +++++++-
 .travis.windows.yml | 8 +++++++-
 .travis.yml         | 7 +++++++
 3 files changed, 21 insertions(+), 2 deletions(-)

diff --git a/.travis.osx.yml b/.travis.osx.yml
index d52b7d479..dcc3972db 100644
--- a/.travis.osx.yml
+++ b/.travis.osx.yml
@@ -4,7 +4,7 @@ env:
   - secure: "W8vou0KRJOOboZXP9q+D/9Wl6LlBeVS2T85MHWPz7EwCMQbJq5xWnGzYLE6FmC0iILcZkXyP63vqoYMFo5MJaEQeALGx2RuIiW7XgrD+7Bn4Vfsp6BLT7K9/AJETGGTQnLs8oZJJCXHGtzbc8EPFIZd/ZPPrve4jhEE5ZNhXnRc="
   matrix:
   - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=DEBUG   TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=51
-  - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=RELEASE TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=51 UPLOAD=osx
+  - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=RELEASE TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=51 UPLOAD=osx PACKAGE=TRUE
   - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=RELEASE TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=52
   - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=RELEASE TCMALLOC=OFF PUSH_TO_CDASH=TRUE LUA=JIT
 
@@ -48,6 +48,9 @@ script:
 - sed -i "" "s/BuildName:.*/BuildName:$BUILD_NAME/" $CONFIG_FILE
 - ctest -D ExperimentalBuild -VV
 - yes "C" | ctest -D ExperimentalTest ${CTEST_FLAGS} -VV | ../script/demangle_cpptype.py;
+- if [[ $PACKAGE == TRUE ]]; then
+      ninja package;
+  fi
 - cd ..
 
 after_script:
@@ -63,6 +66,9 @@ after_script:
           ARCHIVE_BINARY=${ARCHIVE_BINARY}_tcmalloc;
       fi;
       mkdir ${UPLOAD_DIR};
+      if [[ $PACKAGE == TRUE ]]; then
+          cp -v build/*.zip ${UPLOAD_DIR}/;
+      fi
       cp -v build/shell/lean ${UPLOAD_DIR}/${BINARY};
       tar cvfz ${UPLOAD_DIR}/${ARCHIVE_BINARY}.tar.gz ${UPLOAD_DIR}/${BINARY};
       script/dropbox_upload.py --srcpath ${UPLOAD_DIR} --destpath /Public/${UPLOAD_DIR} --dropbox-token ${DROPBOX_KEY};
diff --git a/.travis.windows.yml b/.travis.windows.yml
index af6db5997..da50e19ea 100644
--- a/.travis.windows.yml
+++ b/.travis.windows.yml
@@ -5,7 +5,7 @@ env:
   # DROPBOX_KEY
   - secure: "fQ9mzDBBvId1qpEK/DhwlwRYBGrP0XG/XKUvTRTmX3kv7YIrKFZs/TGEDyvwnfaq6IY6rpHdqsnd/ic22DVsEGIGQO0BWUybZP0nmBHmL9aOqjjdUlgVs5vKhWmij8NkCp5LA3GU0fPm0tOonNmejxsxfNUdxk66hOlLLgPhzVo="
   matrix:
-  - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=RELEASE UPLOAD=windows DROPBOX=TRUE PUSH_TO_CDASH=TRUE
+  - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=RELEASE UPLOAD=windows DROPBOX=TRUE PUSH_TO_CDASH=TRUE PACKAGE=TRUE
   - CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=DEBUG PUSH_TO_CDASH=TRUE
 
 install:
@@ -52,6 +52,9 @@ script:
        find Testing -type f -name "*.xml" -exec sed -i 's/OSName=\"Linux\"/OSName=\"Windows\"/' {} \; ;
        ctest -D ExperimentalSubmit;
     fi
+  - if [[ $PACKAGE == TRUE ]]; then
+       make package;
+    fi
   - cd ..
 
 after_script:
@@ -66,6 +69,9 @@ after_script:
           ARCHIVE_BINARY=${ARCHIVE_BINARY}_tcmalloc;
       fi;
       mkdir ${UPLOAD_DIR};
+      if [[ $PACKAGE == TRUE ]]; then
+          cp -v build/*.zip ${UPLOAD_DIR}/;
+      fi
       cp build/shell/lean.exe ${UPLOAD_DIR}/${BINARY}.exe;
       tar cvfz ${UPLOAD_DIR}/${ARCHIVE_BINARY}.tar.gz ${UPLOAD_DIR}/${BINARY}.exe;
       script/dropbox_upload.py --srcpath ${UPLOAD_DIR} --destpath /Public/${UPLOAD_DIR} --dropbox-token ${DROPBOX_KEY};
diff --git a/.travis.yml b/.travis.yml
index c9487dfb8..567755403 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -70,6 +70,7 @@ env:
      UPLOAD=linux_tcmalloc
      PUSH_TO_CDASH=TRUE
      LUA=52
+     PACKAGE=TRUE
    # R3. clang++-3.3 | RELEASE
    - CMAKE_CXX_COMPILER=clang++-3.3
      CMAKE_BUILD_TYPE=RELEASE
@@ -282,6 +283,9 @@ after_script:
       find Testing \( -name "LastTest_*.log" -o -name "LastDynamicAnalysis_*.log" \) -exec sh -c 'TMP=`mktemp /tmp/ctesttmp_XXXX`; ../script/demangle_cpptype.py {} > $TMP; mv -v $TMP {}' ";";
       ctest -D ExperimentalSubmit;
   fi
+- if [[ $LEANREPO == BLESSED && $PACKAGE == TRUE ]]; then
+     ninja package;
+  fi
 - cd ..
 - if [[ $LEANREPO == BLESSED && $BUILD_DOXYGEN == TRUE ]]; then
       sudo apt-get -qq install graphviz doxygen parallel;
@@ -303,6 +307,9 @@ after_script:
           ARCHIVE_BINARY=${ARCHIVE_BINARY}_tcmalloc;
       fi;
       mkdir ${UPLOAD_DIR};
+      if [[ $LEANREPO == BLESSED && $PACKAGE == TRUE ]]; then
+          cp -v build/*.zip ${UPLOAD_DIR}/;
+      fi
       cp -v build/shell/lean ${UPLOAD_DIR}/${BINARY};
       tar cvfz ${UPLOAD_DIR}/${ARCHIVE_BINARY}.tar.gz ${UPLOAD_DIR}/${BINARY};
       script/dropbox_upload.py --srcpath ${UPLOAD_DIR} --destpath /Public/${UPLOAD_DIR} --dropbox-token ${DROPBOX_KEY};