www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

.travis.yml (2317B)

      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 is an argument to install-racket.sh
     11     - RACKET_VERSION=7.0    COVER=true
     12     - RACKET_VERSION=7.1    COVER=true
     13     - RACKET_VERSION=7.2    COVER=true
     14     - RACKET_VERSION=7.3    COVER=true
     15     - RACKET_VERSION=7.4    COVER=true
     16     - RACKET_VERSION=7.5    COVER=true
     17     - RACKET_VERSION=7.6    COVER=true
     18     - RACKET_VERSION=7.7    COVER=true
     19     - RACKET_VERSION=7.8    COVER=true
     20     - RACKET_VERSION=7.9    COVER=true
     21     - RACKET_VERSION=8.0    COVER=true
     22     - RACKET_VERSION=8.0    COVER=true RACKET_CS=1
     23     - RACKET_VERSION=HEAD   COVER=true
     24 
     25 before_install:
     26 - curl -L https://raw.githubusercontent.com/greghendershott/travis-racket/master/install-racket.sh | bash
     27 - if $COVER; then raco pkg install --deps search-auto doc-coverage cover cover-codecov; fi # or cover-coveralls
     28 
     29 install:
     30 - raco pkg install --deps search-auto -j 1 phc-adt/ phc-adt-doc/ phc-adt-lib/ phc-adt-test/
     31 
     32 script:
     33 - raco test -r -p phc-adt phc-adt-doc phc-adt-lib phc-adt-test
     34 - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs phc-adt phc-adt-doc phc-adt-lib phc-adt-test
     35 - if $COVER; then raco doc-coverage phc-adt; fi
     36 - if $COVER; then raco cover -s main -s test -s doc -f codecov -f html -d ~/coverage . || true; fi
     37 # TODO: add an option to cover to run the "outer" module too, not just the submodules.
     38 # TODO: deploy the coverage info.
     39 #
     40 #
     41 #####################################################################################################
     42 # This actually takes too long, and the build times out sometimes.
     43 #- mv ~/.racket ~/.racket-local-install
     44 #- echo
     45 #- echo Installing from the main repository, to catch eventual dependency issues on the master branch.
     46 #- echo
     47 #- raco pkg install --deps search-auto -j 2 "$(basename "$TRAVIS_BUILD_DIR")"
     48 #- raco test -r -p "$(basename "$TRAVIS_BUILD_DIR")"
     49 #- raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$TRAVIS_BUILD_DIR")"
     50 #- raco doc-coverage "$(basename "$TRAVIS_BUILD_DIR")"
     51 #####################################################################################################