diff options
author | Julien Tanguy <julien.tanguy@jhome.fr> | 2015-11-17 13:05:17 +0100 |
---|---|---|
committer | Julien Tanguy <julien.tanguy@jhome.fr> | 2015-11-17 13:05:17 +0100 |
commit | 2a1583742d14f4cd12bb963c9fd28e248c7e2952 (patch) | |
tree | 37413255e1b198a25baa1ec201319b057524d5fc | |
parent | 31d529ce35cb54f1a6cd51abbd1ecd2547c195e1 (diff) | |
download | hmacaroons-2a1583742d14f4cd12bb963c9fd28e248c7e2952.tar.gz hmacaroons-2a1583742d14f4cd12bb963c9fd28e248c7e2952.tar.zst hmacaroons-2a1583742d14f4cd12bb963c9fd28e248c7e2952.zip |
Copy benchmark report to haddock
-rw-r--r-- | .travis.yml | 2 | ||||
-rw-r--r-- | scripts/pushdoc.sh | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 45796f3..67c3e30 100644 --- a/.travis.yml +++ b/.travis.yml | |||
@@ -85,7 +85,7 @@ script: | |||
85 | fi | 85 | fi |
86 | - cabal build # this builds all libraries and executables (including tests/benchmarks) | 86 | - cabal build # this builds all libraries and executables (including tests/benchmarks) |
87 | - run-cabal-test test | 87 | - run-cabal-test test |
88 | - cabal bench | 88 | - cabal bench --benchmark-options="--output benchmark.html" |
89 | - cabal check | 89 | - cabal check |
90 | - cabal sdist # tests that a source-distribution can be generated | 90 | - cabal sdist # tests that a source-distribution can be generated |
91 | # Check that the resulting source distribution can be built & installed. | 91 | # Check that the resulting source distribution can be built & installed. |
diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh index 34c811a..ccae6c9 100644 --- a/scripts/pushdoc.sh +++ b/scripts/pushdoc.sh | |||
@@ -7,6 +7,9 @@ cabal haddock | |||
7 | # Go to haddock output dir | 7 | # Go to haddock output dir |
8 | cd dist/doc/html/hmacaroons | 8 | cd dist/doc/html/hmacaroons |
9 | 9 | ||
10 | # Copy benchmark | ||
11 | cp benchmark.html dist/doc/html/hmacaroons | ||
12 | |||
10 | # Quiet the git init message, since it's not useful in the build log | 13 | # Quiet the git init message, since it's not useful in the build log |
11 | git init > /dev/null 2>&1 | 14 | git init > /dev/null 2>&1 |
12 | 15 | ||