@@ -100,15 +100,38 @@ before_script:
100100 - tar -xf Idris-dev/dist/idris*.tar.gz
101101 - cd idris*
102102script:
103+###
104+ - echo 'Configure...' && echo -en 'travis_fold:start:script.configure\\r'
103105 - cabal configure -f FFI -f CI
106+ - echo -en 'travis_fold:end:script.configure\\r'
107+###
108+ - echo 'Build...' && echo -en 'travis_fold:start:script.build\\r'
104109 - cabal build
110+ - echo -en 'travis_fold:end:script.build\\r'
111+###
112+ - echo 'Copy...' && echo -en 'travis_fold:start:script.copy\\r'
105113 - cabal copy
114+ - echo -en 'travis_fold:end:script.copy\\r'
115+###
116+ - echo 'Register...' && echo -en 'travis_fold:start:script.register\\r'
106117 - cabal register
118+ - echo -en 'travis_fold:end:script.register\\r'
119+###
120+ - echo 'Cppcheck...' && echo -en 'travis_fold:start:script.cppcheck\\r'
107121 - if [[ "$TESTS" == "test_c" ]]; then
108122 cppcheck -i 'mini-gmp.c' rts;
109123 fi
124+ - echo -en 'travis_fold:end:script.cppcheck\\r'
125+###
126+ - echo 'Tests...' && echo -en 'travis_fold:start:script.tests\\r'
110127 - for test in $TESTS; do
111128 echo "make -j2 $test";
112129 make -j2 $test;
113130 done
131+ - echo -en 'travis_fold:end:script.tests\\r'
132+###
133+ - echo 'Benchmarks...' && echo -en 'travis_fold:start:script.benchmarks\\r'
114134 - cd benchmarks && ./build.pl && ./run.pl && cd ..
135+ - echo -en 'travis_fold:end:script.benchmarks\\r'
136+###
137+#