.travis.yml (6029B)
1 language: c 2 sudo: false 3 4 env: 5 global: 6 # RACKET_DIR is an argument to install-racket.sh 7 - RACKET_DIR=~/racket 8 - PATH="$RACKET_DIR/bin:$PATH" 9 matrix: 10 - RACKET_VERSION=6.9 DEPLOY=true 11 - RACKET_VERSION=6.10 DEPLOY=true 12 - RACKET_VERSION=6.10.1 DEPLOY=true 13 - RACKET_VERSION=6.11 DEPLOY=true 14 - RACKET_VERSION=6.12 DEPLOY=true 15 - RACKET_VERSION=7.0 DEPLOY=true 16 - RACKET_VERSION=7.1 DEPLOY=true 17 - RACKET_VERSION=7.2 DEPLOY=true 18 - RACKET_VERSION=7.3 DEPLOY=true 19 - RACKET_VERSION=7.4 DEPLOY=true 20 - RACKET_VERSION=7.5 DEPLOY=true 21 - RACKET_VERSION=7.6 DEPLOY=true 22 - RACKET_VERSION=7.7 DEPLOY=true 23 - RACKET_VERSION=7.8 DEPLOY=true 24 - RACKET_VERSION=7.9 DEPLOY=true 25 - RACKET_VERSION=8.0 DEPLOY=true 26 - RACKET_VERSION=8.0 DEPLOY=true RACKET_CS=1 27 28 cache: 29 directories: 30 - ~/.racket 31 32 before_install: 33 - true 34 35 jobs: 36 include: 37 - stage: phase1 38 install: 39 # If [fastbuild] is on, skip directly to stage 2. 40 - if test -e ~/.racket/travis_build_id && echo "$TRAVIS_COMMIT_MESSAGE" | grep -q -F "[fastbuild]"; then echo "$TRAVIS_BUILD_ID" && echo "fastbuild" > ~/.racket/travis_build_id && travis_terminate 0; fi 41 - curl -L https://raw.githubusercontent.com/greghendershott/travis-racket/master/install-racket.sh | bash 42 # - if $COV; then raco pkg install --deps search-auto doc-coverage cover cover-codecov; fi # or cover-coveralls 43 - mv ~/.racket ~/.racket-discard 44 - mkdir ~/.racket 45 - echo "$TRAVIS_BUILD_ID" 46 - echo "$TRAVIS_BUILD_ID" > ~/.racket/travis_build_id 47 # Install custom version of scribble-lib which includes fixes for bibted-related problems which have not merged upstream yet. Also includes extended support for highlighting Racket code. 48 - raco pkg install --force --name scribble-lib https://github.com/jsmaniac/hyper-literate.git?path=scribble-lib#my-changes 49 - raco pkg install --deps search-auto -j 2 type-expander # Start installing stuff, continue later to avoid timeout. 50 - raco pkg install --deps search-auto -j 2 phc-adt # Start installing stuff, continue later to avoid timeout. 51 script: 52 - true 53 - stage: phase2 54 addons: 55 apt: 56 packages: 57 - texlive-latex-base 58 - texlive-fonts-extra 59 - texlive-fonts-recommended 60 - texlive-latex-extra 61 # texlive-latex3 on 12.04, texlive-latex-recommended on more recent versions of Ubuntu. 62 - texlive-latex3 63 - texlive-latex-recommended 64 - pgf 65 - latex-xcolor 66 install: 67 - if echo "$TRAVIS_COMMIT_MESSAGE" | grep -q -F "[keepcache]"; then cp -ai ~/.racket ~/.racket-stage1; fi 68 - if test "$TRAVIS_BUILD_ID" != `cat ~/.racket/travis_build_id` && !(test "fastbuild" = `cat ~/.racket/travis_build_id` || (echo "$TRAVIS_COMMIT_MESSAGE" | grep -q -F "[fastbuild]")); then travis_terminate 1; fi 69 - rm -f ~/.racket/travis_build_id 70 - curl -L https://raw.githubusercontent.com/greghendershott/travis-racket/master/install-racket.sh | bash 71 # - if $COV; then raco pkg install --deps search-auto doc-coverage cover cover-codecov; fi # or cover-coveralls 72 - echo "LaTeX extra packages:" 73 - latex_home=$(kpsewhich -var-value=TEXMFHOME) 74 - curl -L -o newunicodechar.ins http://mirrors.ctan.org/macros/latex/contrib/newunicodechar/newunicodechar.ins 75 - curl -L -o newunicodechar.dtx http://mirrors.ctan.org/macros/latex/contrib/newunicodechar/newunicodechar.dtx 76 - latex newunicodechar.ins 77 - mkdir -p "$latex_home/tex/latex/newunicodechar" 78 - mv newunicodechar.sty "$latex_home/tex/latex/newunicodechar" 79 - curl -L -o mathpartir.dtx http://mirrors.ctan.org/macros/latex/contrib/mathpartir/mathpartir.dtx 80 - curl -L -o mathpartir.ins http://mirrors.ctan.org/macros/latex/contrib/mathpartir/mathpartir.ins 81 - latex mathpartir.ins 82 - mkdir -p "$latex_home/tex/latex/mathpartir" 83 - mv mathpartir.sty "$latex_home/tex/latex/mathpartir" 84 - echo "Finished installing extra latex packages." 85 - raco pkg install --deps search-auto -j 2 86 # Do this before modifying anything else in the build folder, to avoid the "x" marker indicating changes since last commit. 87 - zipfile_folder_name="$(racket -e '(begin (require phc-thesis/scribblings/util) (display (version-text "phc-thesis-" "")))')" 88 - raco test -x -p "$(basename "$TRAVIS_BUILD_DIR")" 89 - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$TRAVIS_BUILD_DIR")"; 90 - rm -fr doc/ 91 - raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl > html.log 2>&1 || (cat html.log && exit 1) 92 - make 93 - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld 94 - find doc -name '*.html' -type f -print0 | xargs -0 sed -i -e 's|https://download\.racket-lang\.org/docs/6\.9/html/|https://docs.racket-lang.org/|g' 95 - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld 96 - nvm install v8.1 # works with v8.1.4 97 - npm install mathjax-node 98 - patch -p1 < qaligned.patch 99 - patch -p1 < MathJax-bfit.patch 100 - node < run-mathjax-offline.node.js 101 - mv doc/phc-thesis/index2.html doc/phc-thesis/index.html 102 - mv doc "${zipfile_folder_name}" 103 - zip -r "${zipfile_folder_name}.zip" "${zipfile_folder_name}" 104 - mv "${zipfile_folder_name}" doc 105 - mv "${zipfile_folder_name}.zip" doc/ 106 - if test "x${DEPLOY:-}" = "xtrue"; then sh ./auto-push-gh-pages.sh; fi 107 - mv ~/.racket ~/.racket-discard 108 # Keeping pre-existing cache from stage 1 for faster build with [fastbuild] option next time, or clear the cache. 109 - if echo "$TRAVIS_COMMIT_MESSAGE" | grep -q -F "[keepcache]"; then mv ~/.racket-stage1 ~/.racket; else mkdir ~/.racket; fi 110 script: 111 - true 112 113 #after_success: 114 # - sh ./auto-push-master.sh