diff --git a/.travis.yml b/.travis.yml index 4feb6c0e..c79d7103 100644 --- a/.travis.yml +++ b/.travis.yml @@ -37,7 +37,9 @@ before_install: - git config --global user.name "Travis CI" - git config --global user.email "travis@nobody.com" - git init ~/gh-pages - +- echo "Temporary switch to my fork of cover:" +- git clone https://github.com/jsmaniac/cover.git -b multiple-output-formats ~/cover-tool/cover +- (cd ~/cover-tool/cover; raco pkg install --deps search-auto --update-deps --skip-installed) cache: apt: true diff --git a/graph-lib/Makefile b/graph-lib/Makefile index d709299e..56272f34 100644 --- a/graph-lib/Makefile +++ b/graph-lib/Makefile @@ -12,4 +12,4 @@ clean: .PHONY: build-dep build-dep: - raco pkg install --deps search-auto --update-deps --skip-installed alexis-util cover debug + raco pkg install --deps search-auto --update-deps --skip-installed alexis-util cover cover-coveralls debug diff --git a/graph-lib/make/make.rkt b/graph-lib/make/make.rkt index e715fb53..8d065977 100644 --- a/graph-lib/make/make.rkt +++ b/graph-lib/make/make.rkt @@ -201,7 +201,9 @@ (run! `(,(find-executable-path-or-fail "raco") "cover" - "-s" "doc" - "-s" "test" + "-s" "doc" + "-s" "test" + "-f" "html" + "-f" "coveralls" "-v" ,@(exclude-dirs rkt-files (list "make/"))))