python-mmt is not published upon `publishLocal` leading to unresolved dependency errors in SBT - Githubissues

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

python-mmt is not published upon `publishLocal` leading to unresolved dependency errors in SBT #437

Open ComFreek opened 5 years ago

ComFreek commented 5 years ago

Fix for endusers below

System 1 (issue applicable)

SBT @ 1.1.1 (inside <mmt-repo>/src)
Windows 10 Pro 64-bit
Clean MMT devel clone at latest commit as of now: https://github.com/UniFormal/MMT/commit/c79f19704a077111b2b9f0c6752302c1ea0c9172
- No python{2|3} available on PATH.

System 2 (issue not applicable, `python-mmt` is published simultaneously to `mmt`)

SBT @ 1.1.1 (inside <mmt-repo>/src)
Windows 10 Pro 64-bit
MMT devel clone at 85f9ab3cdf884e8700b6702b4da0cab52543396e
Python 2 is on PATH, namely python --version gives 2.7.9 (not sure if the MMT build system somehow recognizes this!)

Steps to reproduce:

cd <mmt-repo>/src
sbt
1. mmt/deploy
2. publishLocal
python-mmt is not published locally! E.g. try referencing "info.kwarc.mmt" %% "mmt" % "15.0.0" anywhere in a new build.sbt and compiling will fail due to unresolved "info.kwarc.mmt" % "python-mmt"

Fix (for endusers)

Inside mmt/src, run sbt and then inside it python/publishLocal.
It should now be published locally. Retry referencing it anywhere. You might need to issue reload inside open SBT instances or just simply rerun SBT altogether.

I know too little about SBT to be able to fix this inside MMT's build system on my own.