Use Travis Workspaces (#1675)

* Use Travis Workspaces

Add stage to build FIRRTL and share it with later steps running the
tests

* [CI] Do not sbt clean in formal_equiv.sh

This change takes advantage of shared workspace in Travis

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

2 files changed, 29 insertions, 2 deletions

diff --git a/.travis.yml b/.travis.yml
index 7db28caa..e5c072a4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -42,12 +42,28 @@ jobs:
         - verilator --version
         - bash .install_yosys.sh
         - yosys -V
+    - stage: prepare
+      name: "Compile FIRRTL to share with subsequent stages"
+      script:
+        - sbt $SBT_ARGS assembly
+      workspaces:
+        create:
+          name: firrtl_build
+          paths:
+            - target/
+            - utils/bin/firrtl.jar
+            - project/project/
+            - project/target/
     - stage: test
       name: "Unidoc builds (no warnings)"
+      workspaces:
+        use: firrtl_build
       script:
         - sbt $SBT_ARGS unidoc
     - stage: test
       name: "Tests: FIRRTL (2.12)"
+      workspaces:
+        use: firrtl_build
       script:
         - verilator --version
         - sbt $SBT_ARGS test
@@ -58,35 +74,47 @@ jobs:
         - sbt ++2.11.12 $SBT_ARGS test
     - stage: test
       name: "Tests: chisel3 (2.12)"
+      workspaces:
+        use: firrtl_build
       script:
         - verilator --version
-        - sbt $SBT_ARGS clean assembly publishLocal
         - bash .run_chisel_tests.sh
     - stage: test
       name: "Formal equivalence: RocketCore"
+      workspaces:
+        use: firrtl_build
       script:
         - yosys -V
         - "travis_wait 30 sleep 1800 &"
         - ./.run_formal_checks.sh RocketCore
     - stage: test
       name: "Formal equivalence: FPU"
+      workspaces:
+        use: firrtl_build
       script:
         - yosys -V
         - "travis_wait 30 sleep 1800 &"
         - ./.run_formal_checks.sh FPU
     - stage: test
       name: "Formal equivalence: ICache"
+      workspaces:
+        use: firrtl_build
       script:
         - yosys -V
         - "travis_wait 30 sleep 1800 &"
         - ./.run_formal_checks.sh ICache
     - stage: test
       name: "Formal equivalence: small expression-tree stress tests"
+      workspaces:
+        use: firrtl_build
       script:
         - yosys -V
         - "travis_wait 30 sleep 1800 &"
         - ./.run_formal_checks.sh Ops
         - ./.run_formal_checks.sh AddNot
     - stage: test
+      name: "Sanity check benchmarking scripts"
+      workspaces:
+        use: firrtl_build
       script:
         - benchmark/scripts/benchmark_cold_compile.py -N 2 --designs regress/ICache.fir --versions HEAD
diff --git a/scripts/formal_equiv.sh b/scripts/formal_equiv.sh
index 8214e56b..b595ff9a 100755
--- a/scripts/formal_equiv.sh
+++ b/scripts/formal_equiv.sh
@@ -25,7 +25,6 @@ make_verilog () {
     git checkout $1
     local filename="$DUT.$1.v"
 
-    sbt clean
     sbt "runMain firrtl.Driver -i $DUT.fir -o $filename -X verilog"
     RET=$filename
 }