From 12395621b66ba60d7080964243e265e4204e463f Mon Sep 17 00:00:00 2001
From: Fredrik Ekre <fredrik.ekre@chalmers.se>
Date: Thu, 23 Aug 2018 09:39:02 +0200
Subject: [PATCH] Use a coverage project for code coverage submission.

---
 .gitignore                      | 3 ++-
 .travis.yml                     | 4 ++--
 test/coverage/Project.toml      | 2 ++
 test/{ => coverage}/coverage.jl | 5 ++---
 4 files changed, 8 insertions(+), 6 deletions(-)
 create mode 100644 test/coverage/Project.toml
 rename test/{ => coverage}/coverage.jl (50%)

diff --git a/.gitignore b/.gitignore
index 0b5f155..f3e4175 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,5 @@
 *.jl.*.cov
 *.jl.mem
 *.DS_Store
-Manifest.toml
+/Manifest.toml
+/test/coverage/Manifest.toml
diff --git a/.travis.yml b/.travis.yml
index 20c13bf..a9a3ba5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,9 +20,9 @@ jobs:
       os: linux
       script:
         - julia docs/make.jl
+        - julia --project=test/coverage -e 'using Pkg; Pkg.instantiate()'
+        - julia --project=test/coverage test/coverage/coverage.jl
 notifications:
   email: false
 git:
   depth: 99999999
-after_success:
-  - julia test/coverage.jl
diff --git a/test/coverage/Project.toml b/test/coverage/Project.toml
new file mode 100644
index 0000000..4fbdc47
--- /dev/null
+++ b/test/coverage/Project.toml
@@ -0,0 +1,2 @@
+[deps]
+Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"
diff --git a/test/coverage.jl b/test/coverage/coverage.jl
similarity index 50%
rename from test/coverage.jl
rename to test/coverage/coverage.jl
index 75bcef6..15ea38b 100644
--- a/test/coverage.jl
+++ b/test/coverage/coverage.jl
@@ -1,6 +1,5 @@
-using Pkg
-Pkg.add("Coverage")
 using Coverage
-cd(joinpath(@__DIR__, "..")) do
+
+cd(joinpath(@__DIR__, "..", "..")) do
     Codecov.submit(Codecov.process_folder())
 end