Skip to content

Instantly share code, notes, and snippets.

@zerosign

zerosign/dotty-language-server.md

Last active May 22, 2020 03:20
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save zerosign/6ccd60e2f060c523d2bb129ca3a53fce to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save zerosign/6ccd60e2f060c523d2bb129ca3a53fce to your computer and use it in GitHub Desktop.
Download ZIP
Raw
dotty-language-server.md

To be able to use most up to date dotty-language-server by yourself.

project dotty-language-server
compile
package
publishLocal

Publish local will locally publish the dependencies and the artifact into your local ivy2 (~/.ivy2/local)

  • then bootstrap the language server using coursier :
coursier bootstrap ch.epfl.lamp:dotty-language-server_${DOTTY_VERSION}:${DOTTY_VERSION}-${DOTTY_REVISION}-bin-SNAPSHOT -r ivy2local --standalone -o ~/.local/bin/dotty-language-server -M dotty.tools.languageserver.Main
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment