Update binary uploading process

- fix commit name for OSX & Windows
- fix NOW to use specific time zone, PST
- upload compressed binary for archiving
This commit is contained in:
Soonho Kong 2013-09-15 00:54:43 -07:00
parent d51af953ca
commit 15861ef6ea
3 changed files with 10 additions and 10 deletions

View file

@ -42,16 +42,16 @@ after_script:
- if [[ $UPLOAD ]]; then - if [[ $UPLOAD ]]; then
UPLOAD_DIR=bin; UPLOAD_DIR=bin;
BINARY=lean_${UPLOAD}; BINARY=lean_${UPLOAD};
NOW=`date +"%Y%m%d_%H%M"`; NOW=`TZ='America/Los_Angeles' date +"%Y%m%d_%H%M"`;
GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`; GIT_COMMIT=`git log HEAD~ --oneline -n 1 | cut -d ' ' -f 1`;
OS=osx; OS=osx;
ARCHIVE_BINARY=${NOW}_${TRAVIS_BRANCH}_${GIT_COMMIT}_${OS}_${CMAKE_CXX_COMPILER}_${BUILD_TYPE}; ARCHIVE_BINARY=${NOW}_${TRAVIS_BRANCH}_${GIT_COMMIT}_${OS}_${CMAKE_CXX_COMPILER}_${BUILD_TYPE};
if [[ $USE_TCMALLOC ]]; then if [[ $USE_TCMALLOC ]]; then
ARCHIVE_BINARY=${ARCHIVE_BINARY}_tcmalloc; ARCHIVE_BINARY=${ARCHIVE_BINARY}_tcmalloc;
fi; fi;
mkdir ${UPLOAD_DIR}; mkdir ${UPLOAD_DIR};
cp build/shell/lean ${UPLOAD_DIR}/${BINARY}; cp -v build/shell/lean ${UPLOAD_DIR}/${BINARY};
cp build/shell/lean ${UPLOAD_DIR}/${ARCHIVE_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}; script/dropbox_upload.py --srcpath ${UPLOAD_DIR} --destpath /Public/${UPLOAD_DIR} --dropbox-token ${DROPBOX_KEY};
fi fi
- cd build - cd build

View file

@ -52,8 +52,8 @@ after_script:
- if [[ $UPLOAD ]]; then - if [[ $UPLOAD ]]; then
UPLOAD_DIR=bin; UPLOAD_DIR=bin;
BINARY=lean_${UPLOAD}; BINARY=lean_${UPLOAD};
NOW=`date +"%Y%m%d_%H%M"`; NOW=`TZ='America/Los_Angeles' date +"%Y%m%d_%H%M"`;
GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`; GIT_COMMIT=`git log HEAD~ --oneline -n 1 | cut -d ' ' -f 1`;
OS=windows; OS=windows;
ARCHIVE_BINARY=${NOW}_${TRAVIS_BRANCH}_${GIT_COMMIT}_${OS}_${CMAKE_CXX_COMPILER}_${BUILD_TYPE}; ARCHIVE_BINARY=${NOW}_${TRAVIS_BRANCH}_${GIT_COMMIT}_${OS}_${CMAKE_CXX_COMPILER}_${BUILD_TYPE};
if [[ $USE_TCMALLOC ]]; then if [[ $USE_TCMALLOC ]]; then
@ -61,7 +61,7 @@ after_script:
fi; fi;
mkdir ${UPLOAD_DIR}; mkdir ${UPLOAD_DIR};
cp build/shell/lean.exe ${UPLOAD_DIR}/${BINARY}.exe; cp build/shell/lean.exe ${UPLOAD_DIR}/${BINARY}.exe;
cp build/shell/lean.exe ${UPLOAD_DIR}/${ARCHIVE_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}; script/dropbox_upload.py --srcpath ${UPLOAD_DIR} --destpath /Public/${UPLOAD_DIR} --dropbox-token ${DROPBOX_KEY};
fi fi

View file

@ -97,7 +97,7 @@ install:
- if [[ $LEANREPO == BLESSED && $MEMCHECK == TRUE ]]; then - if [[ $LEANREPO == BLESSED && $MEMCHECK == TRUE ]]; then
sudo apt-get -qq install valgrind; sudo apt-get -qq install valgrind;
fi fi
- if [[ $LEANREPO == BLESSED && ($UPLOAD == TRUE || $BUILD_DOXYGEN == TRUE) ]]; then - if [[ $LEANREPO == BLESSED && ($UPLOAD || $BUILD_DOXYGEN == TRUE) ]]; then
sudo apt-get -qq install python python-pip; sudo apt-get -qq install python python-pip;
sudo pip install dropbox; sudo pip install dropbox;
fi fi
@ -187,7 +187,7 @@ after_script:
- if [[ $LEANREPO == BLESSED && $UPLOAD ]]; then - if [[ $LEANREPO == BLESSED && $UPLOAD ]]; then
UPLOAD_DIR=bin; UPLOAD_DIR=bin;
BINARY=lean_${UPLOAD}; BINARY=lean_${UPLOAD};
NOW=`date +"%Y%m%d_%H%M"`; NOW=`TZ='America/Los_Angeles' date +"%Y%m%d_%H%M"`;
GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`; GIT_COMMIT=`git log --oneline -n 1 | cut -d ' ' -f 1`;
OS=linux; OS=linux;
ARCHIVE_BINARY=${NOW}_${TRAVIS_BRANCH}_${GIT_COMMIT}_${OS}_${CMAKE_CXX_COMPILER}_${BUILD_TYPE}; ARCHIVE_BINARY=${NOW}_${TRAVIS_BRANCH}_${GIT_COMMIT}_${OS}_${CMAKE_CXX_COMPILER}_${BUILD_TYPE};
@ -196,7 +196,7 @@ after_script:
fi; fi;
mkdir ${UPLOAD_DIR}; mkdir ${UPLOAD_DIR};
cp -v build/shell/lean ${UPLOAD_DIR}/${BINARY}; cp -v build/shell/lean ${UPLOAD_DIR}/${BINARY};
cp -v build/shell/lean ${UPLOAD_DIR}/${ARCHIVE_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}; script/dropbox_upload.py --srcpath ${UPLOAD_DIR} --destpath /Public/${UPLOAD_DIR} --dropbox-token ${DROPBOX_KEY};
fi fi