git.iko.soy/Idris-dev
on master help sign in
wip
71d1390iko
.travis.yml+4−3
compare with master
unifiedsplit
@@ -127,17 +127,18 @@ before_script:
127 - tar -xf ${ORIGINAL_DIR}/dist/${PKGNAME}*.tar.gz
127 - tar -xf ${ORIGINAL_DIR}/dist/${PKGNAME}*.tar.gz
128 - cd ${PKGNAME}*
128 - cd ${PKGNAME}*
129script:
129script:
130+ - export LD_PRELOAD=/opt/ghc/${GHCVER}/lib/ghc-${GHCVER}/rts/libffi.so.7
130###
131###
131 - echo 'Configure...' && echo -en 'travis_fold:start:script.configure\\r'
132 - echo 'Configure...' && echo -en 'travis_fold:start:script.configure\\r'
132 - cabal v1-configure -f FFI -f CI --enable-tests
133 - cabal v1-configure -f FFI -f CI --enable-tests
133 - echo -en 'travis_fold:end:script.configure\\r'
134 - echo -en 'travis_fold:end:script.configure\\r'
134###
135###
135 - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
136 - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
136− - LD_PRELOAD=/opt/ghc/${GHCVER}/lib/ghc-${GHCVER}/rts/libffi.so.7 cabal v1-build
137+ - cabal v1-build
137 - echo -en 'travis_fold:end:script.build\\r'
138 - echo -en 'travis_fold:end:script.build\\r'
138###
139###
139 - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
140 - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
140− - LD_PRELOAD=/opt/ghc/${GHCVER}/lib/ghc-${GHCVER}/rts/libffi.so.7 cabal v1-copy
141+ - cabal v1-copy
141 - echo -en 'travis_fold:end:script.copy\\r'
142 - echo -en 'travis_fold:end:script.copy\\r'
142###
143###
143 - echo 'Register...' && echo -en 'travis_fold:start:script.register\\r'
144 - echo 'Register...' && echo -en 'travis_fold:start:script.register\\r'
@@ -153,7 +154,7 @@ script:
153 - echo 'Tests...' && echo -en 'travis_fold:start:script.tests\\r'
154 - echo 'Tests...' && echo -en 'travis_fold:start:script.tests\\r'
154 - for test in $TESTS; do
155 - for test in $TESTS; do
155 echo "make TEST-JOBS=2 $test";
156 echo "make TEST-JOBS=2 $test";
156− travis_wait LD_PRELOAD=/opt/ghc/${GHCVER}/lib/ghc-${GHCVER}/rts/libffi.so.7 make TEST-JOBS=2 $test;
157+ travis_wait make TEST-JOBS=2 $test;
157 done
158 done
158 - echo -en 'travis_fold:end:script.tests\\r'
159 - echo -en 'travis_fold:end:script.tests\\r'
159###
160###