www

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

.travis.yml (2240B)


      1 language: c
      2 
      3 # Based from: https://github.com/greghendershott/travis-racket
      4 
      5 # Optional: Remove to use Travis CI's older infrastructure.
      6 sudo: false
      7 
      8 env:
      9   global:
     10     # Supply a global RACKET_DIR environment variable. This is where
     11     # Racket will be installed. A good idea is to use ~/racket because
     12     # that doesn't require sudo to install and is therefore compatible
     13     # with Travis CI's newer container infrastructure.
     14     - RACKET_DIR=~/racket
     15   matrix:
     16     # Supply at least one RACKET_VERSION environment variable. This is
     17     # used by the install-racket.sh script (run at before_install,
     18     # below) to select the version of Racket to download and install.
     19     #
     20     # Supply more than one RACKET_VERSION (as in the example below) to
     21     # create a Travis-CI build matrix to test against multiple Racket
     22     # versions.
     23     #- RACKET_VERSION=6.0
     24     #- RACKET_VERSION=6.1
     25     #- RACKET_VERSION=6.1.1
     26     #- RACKET_VERSION=6.2
     27     #- RACKET_VERSION=6.3
     28     #- RACKET_VERSION=6.4
     29     #- RACKET_VERSION=6.5
     30     #- RACKET_VERSION=6.6
     31     - RACKET_VERSION=6.8  COVER=false
     32     - RACKET_VERSION=6.9  COVER=true
     33     - RACKET_VERSION=HEAD COVER=true
     34 
     35 matrix:
     36   allow_failures:
     37 #   - env: RACKET_VERSION=HEAD
     38   fast_finish: true
     39 
     40 before_install:
     41 - git clone https://github.com/greghendershott/travis-racket.git ~/travis-racket
     42 - cat ~/travis-racket/install-racket.sh | bash # pipe to bash not sh!
     43 - export PATH="${RACKET_DIR}/bin:${PATH}" #install-racket.sh can't set for us
     44 
     45 install:
     46  - raco pkg install -j 2 --deps search-auto
     47 
     48 before_script:
     49 
     50 # Here supply steps such as raco make, raco test, etc.  You can run
     51 # `raco pkg install --deps search-auto` to install any required
     52 # packages without it getting stuck on a confirmation prompt.
     53 script:
     54  - raco test -p phc-graph
     55  - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs phc-graph
     56  - if $COVER; then raco pkg install --deps search-auto doc-coverage; fi
     57  - if $COVER; then raco doc-coverage phc-graph; fi
     58 
     59 after_success:
     60  - if $COVER; then raco pkg install --deps search-auto cover cover-coveralls; fi
     61  - if $COVER; then raco cover -b -f coveralls -d $TRAVIS_BUILD_DIR/coverage .; fi
     62 
     63 after_success:
     64  - sh ./auto-push-master.sh