UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 22 forks source link

Unmanaged dependency on xz.jar is not published locally via SBT #438

Closed ComFreek closed 5 years ago

ComFreek commented 5 years ago

Steps to reproduce:

Clone MMT
sbt, mmt/deploy, then publishLocal (possibly python/publishLocal as well, see #437.
1. Referencing MMT in another project in its built.sbt:
```
libraryDependencies += "info.kwarc.mmt" %% "mmt" % "15.0.0"
```
2. Open an archive in that other Project. Upon running, an error will appear saying that org.tukaani…. cannot be found on the classpath.

Quickfix (for endusers)

Also add the unmanaged xz.jar dependency to your project:

// If you have MMT cloned locally somewhere
unmanagedJars in Runtime += file("<path-to-mmt-preferably-relative>/mmt/deploy/lib/xz.jar")

392 also discusses replacing `xz.jar` by a manged dependency, ping @tkw1536.

ComFreek commented 5 years ago

Subsumed by #447.