diff options
| author | Jiuyang Liu | 2021-05-17 21:58:21 +0000 |
|---|---|---|
| committer | GitHub | 2021-05-17 21:58:21 +0000 |
| commit | 302c664bf3bc6de5b197a97990f80c4edaa789b6 (patch) | |
| tree | fa223a8b60902c647014e5a85d89420dda1e7ea5 /build.sc | |
| parent | c2d72fd8a4f3558094094eed2f4a12f85d080c41 (diff) | |
Use os-lib to rewrite Z3ModelChecker (#2223)
* add os-lib to dependency.
* use os-lib in Z3ModelChecker
* fix for review by Kevin.
Diffstat (limited to 'build.sc')
| -rw-r--r-- | build.sc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -45,7 +45,8 @@ class firrtlCrossModule(val crossScalaVersion: String) extends CrossSbtModule wi ivy"org.apache.commons:commons-text:1.8", ivy"io.github.alexarchambault::data-class:0.2.5", ivy"org.antlr:antlr4-runtime:$antlr4Version", - ivy"com.google.protobuf:protobuf-java:$protocVersion" + ivy"com.google.protobuf:protobuf-java:$protocVersion", + ivy"com.lihaoyi::os-lib:0.7.6", ) ++ { if (majorVersion == 13) Agg(ivy"org.scala-lang.modules::scala-parallel-collections:1.0.3") |