@@ -22,7 +22,8 @@ script:
22 - cabal configure --enable-tests --enable-benchmarks -v2
22 - cabal configure --enable-tests --enable-benchmarks -v2
23 - cabal build
23 - cabal build
24 - cabal test
24 - cabal test
25+# "cabal check" disabled due to -O2 warning
25− - cabal check
26+# - cabal check
26 - cabal sdist
27 - cabal sdist
27# check that the generated source-distribution can be built & installed
28# check that the generated source-distribution can be built & installed
28 - export SRC_TGZ=$(cabal info . | awk '{print $2 ".tar.gz";exit}') ;
29 - export SRC_TGZ=$(cabal info . | awk '{print $2 ".tar.gz";exit}') ;