@@ -19,6 +19,8 @@ matrix:
1919 - env: CABALVER="2.4" GHCVER="8.2.2" TESTS="test_c"
2020 compiler: ": #GHC 8.2.2"
2121 addons: {apt: {packages: [cabal-install-2.4,ghc-8.2.2,cppcheck,hscolour], sources: [hvr-ghc]}}
22+ - env: CABALVER="3.0" GHCVER="8.8.2" IDRIS2=YES
23+ addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.2], sources: [hvr-ghc]}}
2224
2325# - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
2426# compiler: ": #GHC 8.8.1"
@@ -47,7 +49,7 @@ before_install:
4749 - unset CC
4850 - if [[ $TRAVIS_OS_NAME == 'linux' ]];
4951 then
50− export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/.cabal/bin:$PATH;
52+ export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/.cabal/bin:$HOME/opt/scheme/bin/:$PATH;
5153 export SED=sed;
5254 export ZCAT=zcat;
5355 fi
@@ -62,6 +64,21 @@ before_install:
6264 export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:$PKG_CONFIG_PATH;
6365 fi
6466 - if [ -n "$STYLISH" ]; then ./stylize.sh; exit $?; fi
67+ - if [ -n "$IDRIS2" ];
68+ then
69+ git clone https://github.com/edwinb/Idris2 &&
70+ wget https://github.com/cisco/ChezScheme/archive/v9.5.2.tar.gz &&
71+ tar xvzf v9.5.2.tar.gz &&
72+ cd ChezScheme-9.5.2 &&
73+ ./configure --threads --installprefix=$HOME/opt/scheme &&
74+ make -j install &&
75+ cd .. &&
76+ cabal v1-update &&
77+ travis_wait cabal v1-install &&
78+ cd Idris2 &&
79+ make idris2 && make base && make contrib;
80+ exit $?;
81+ fi
6582
6683install:
6784 - which cabal
@@ -102,6 +119,7 @@ install:
102119 cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
103120 cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin installplan.txt $HOME/.cabsnap/;
104121 fi
122+
105123
106124before_script:
107125 - ORIGINAL_DIR=$(pwd)