git.iko.soy/Idris-dev
on master help sign in
Add a travis target building Idris 2
bc5ee4bNiklas Larsson
.travis.yml+19−1
compare with master
unifiedsplit
@@ -19,6 +19,8 @@ matrix:
19 - env: CABALVER="2.4" GHCVER="8.2.2" TESTS="test_c"
19 - env: CABALVER="2.4" GHCVER="8.2.2" TESTS="test_c"
20 compiler: ": #GHC 8.2.2"
20 compiler: ": #GHC 8.2.2"
21 addons: {apt: {packages: [cabal-install-2.4,ghc-8.2.2,cppcheck,hscolour], sources: [hvr-ghc]}}
21 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]}}
22
24
23# - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
25# - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
24# compiler: ": #GHC 8.8.1"
26# compiler: ": #GHC 8.8.1"
@@ -47,7 +49,7 @@ before_install:
47 - unset CC
49 - unset CC
48 - if [[ $TRAVIS_OS_NAME == 'linux' ]];
50 - if [[ $TRAVIS_OS_NAME == 'linux' ]];
49 then
51 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;
51 export SED=sed;
53 export SED=sed;
52 export ZCAT=zcat;
54 export ZCAT=zcat;
53 fi
55 fi
@@ -62,6 +64,21 @@ before_install:
62 export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:$PKG_CONFIG_PATH;
64 export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:$PKG_CONFIG_PATH;
63 fi
65 fi
64 - if [ -n "$STYLISH" ]; then ./stylize.sh; exit $?; fi
66 - 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
65
82
66install:
83install:
67 - which cabal
84 - which cabal
@@ -102,6 +119,7 @@ install:
102 cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
119 cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
103 cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin installplan.txt $HOME/.cabsnap/;
120 cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin installplan.txt $HOME/.cabsnap/;
104 fi
121 fi
122+
105
123
106before_script:
124before_script:
107 - ORIGINAL_DIR=$(pwd)
125 - ORIGINAL_DIR=$(pwd)
stack.yaml+2
@@ -10,6 +10,8 @@ extra-deps:
10 - tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
10 - tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
11 - binary-0.8.7.0@sha256:ae3e6cca723ac55c54bbb3fa771bcf18142bc727afd57818e66d6ee6c8044f12
11 - binary-0.8.7.0@sha256:ae3e6cca723ac55c54bbb3fa771bcf18142bc727afd57818e66d6ee6c8044f12
12 - text-1.2.4.0@sha256:8c24450feb8e3bbb7ea3e17af24ef57e85db077c4bf53e5bcc345b283d1b1d5b
12 - text-1.2.4.0@sha256:8c24450feb8e3bbb7ea3e17af24ef57e85db077c4bf53e5bcc345b283d1b1d5b
13+ - HsYAML-0.2.1.0@sha256:e4677daeba57f7a1e9a709a1f3022fe937336c91513e893166bd1f023f530d68,5311
14+ - HsYAML-aeson-0.2.0.0@sha256:04796abfc01cffded83f37a10e6edba4f0c0a15d45bef44fc5bb4313d9c87757,1791
13
15
14flags:
16flags:
15 idris:
17 idris: