Rework maven code for faster calculation of path config#1661

Merged

rodinaarssen merged 21 commits intomainfrom reduce-maven-overhead

Nov 26, 2024

+148-92

Commits on Oct 3, 2022

Added fast path to avoid starting maven just to install dependencies
DavyLandman
committed

Commits on Oct 4, 2022

Rewrote to using internal maven engine instead of forking jvm
DavyLandman
committed
Rewrote to calling maven without changing global properties (but sadly, changing output streams, hoping it's not a race)
DavyLandman
committed

Commits on Jul 22, 2024

Commits on Jul 30, 2024

Added another necessary dependency for maven-embedder
rodinaarssen
committed

Commits on Aug 27, 2024

Commits on Sep 10, 2024

Changed slf4j dependency to suppress maven output to the REPL
rodinaarssen
committed

Commits on Sep 11, 2024

Commits on Sep 17, 2024

Commits on Nov 25, 2024