michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add .travis.windows.yml

Browse source
This commit is contained in:
Soonho Kong 2013-08-22 16:48:05 -07:00
parent 37bd56b5de
commit daf7cd093d
3 changed files with 15 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
.travis.windows.yml
View file

@ -9,23 +9,26 @@ env:
- CMAKE_CXX_COMPILER=g++ CMAKE_BUILD_TYPE=DEBUG
install:
# - sudo add-apt-repository --yes ppa:ubuntu-wine/ppa; do echo retry; done
# - sudo sh -c "echo ttf-mscorefonts-installer msttcorefonts/accepted-mscorefonts-eula select true | debconf-set-selections"
# - sudo apt-get -qq update
# - sudo apt-get -qq install wine-1.6
- sudo add-apt-repository --yes ppa:purplekarrot/cmake
- sudo apt-get -qq update
- sudo apt-get -qq install cmake make
- if [[ $DROPBOX == TRUE ]]; then
sudo apt-get -qq install python python-pip;
sudo pip install dropbox;
fi
- wget http://dl.dropboxusercontent.com/u/203889738/gcc/mxe-gcc-4.8.1.tar.bz2 -O /tmp/gcc.tar.bz2;
- tar xvfj /tmp/gcc.tar.gz2
- mkdir -p /tmp/mxe
- cd /tmp/mxe
- wget http://dl.dropboxusercontent.com/u/203889738/gcc/mxe-gcc-4.8.1.tar.bz2
- tar xfj mxe-gcc-4.8.1.tar.bz2
- cd -
script:
- mkdir -p build
- LEAN_ROOT=`pwd`
- cd build
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DCMAKE_TOOLCHAIN_FILE=../usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake
- cmake -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} ../src -DCMAKE_TOOLCHAIN_FILE=/tmp/mxe/usr/x86_64-w64-mingw32/share/cmake/mxe-conf.cmake
- make
- cd ..
after_script:
- if [[ $UPLOAD ]]; then
@ -39,6 +42,6 @@ after_script:
notifications:
email:
recipients:
- soonho.kong@gmail.com
- leansmt-dev@googlegroups.com
on_success: always
on_failure: always

6
.travis.yml
View file

@ -17,7 +17,7 @@ env:
DROPBOX=TRUE
TRIGGER_BB=TRUE
TRIGGER_OSX=TRUE
TRIGGER_WIN=TRUE
TRIGGER_WINDOWS=TRUE
- CMAKE_CXX_COMPILER=g++-4.8
CMAKE_BUILD_TYPE=DOXYGEN
BUILD_DOXYGEN=TRUE
@ -98,7 +98,7 @@ after_script:
mv /tmp/.travis.temp.yml .travis.yml;
git reset --hard HEAD~;
fi
- if [[ $TRIGGER_WIN == TRUE ]]; then
- if [[ $TRIGGER_WINDOWS == TRUE ]]; then
MSG=`git log --pretty=oneline --abbrev-commit -n 1 | cut -d ' ' -f 2-`;
cp .travis.yml /tmp/.travis.temp.yml;
cp .travis.windows.yml .travis.yml;
@ -106,7 +106,7 @@ after_script:
git config --global user.name "Travis CI";
git add .travis.yml;
git commit -m "$MSG";
git push -q https://soonhokong:${GH_TOKEN}@github.com/soonhokong/lean-win.git +HEAD:master;
git push -q https://soonhokong:${GH_TOKEN}@github.com/soonhokong/lean-windows.git +HEAD:master;
mv /tmp/.travis.temp.yml .travis.yml;
git reset --hard HEAD~;
fi

2
README.md
View file

@ -4,7 +4,7 @@ Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3
[![Build Status](https://travis-ci.org/soonhokong/lean-osx.png?branch=master)](https://travis-ci.org/soonhokong/lean-osx)
Mac OS X 10.8.2, g++-4.8
[![Build Status](https://travis-ci.org/soonhokong/lean-win.png?branch=master)](https://travis-ci.org/soonhokong/lean-win)
[![Build Status](https://travis-ci.org/soonhokong/lean-windows.png?branch=master)](https://travis-ci.org/soonhokong/lean-windows)
Windows, x86_64-w64-mingw32-g++-4.8.1
Requirements