search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

SERVER: load from fatjar #9

Closed by-cloud closed 2 years ago

by-cloud commented 2 years ago

Now user provides the absolute path of aya-*-fat.jar or aya-lsp executable in the settings of Aya Language Server extension.

if Fat Jar exists, Aya Language Server is loaded from aya-*-fat.jar, which is by default; else if Exec exists, Aya Language Server is loaded from aya-lsp executable; else Aya Language Server is not found.

Users can comment "aya.lsp.exec" or "aya.lsp.fatJar" in settings.json to decide where Aya Language Server is loaded from.

imkiva commented 2 years ago

bors r+

imkiva commented 2 years ago

Sorry I forgot we don't have bors in this repo

ice1000 commented 2 years ago

Sorry I forgot we don't have bors in this repo

Would you like to set it up?

ice1000 commented 2 years ago

As long as we have a CI, but the configuration is kinda confusing. It took me like an hour to set it up

imkiva commented 2 years ago

Sorry I forgot we don't have bors in this repo

Would you like to set it up?

Yeah, I am trying

ice1000 commented 2 years ago

@imkiva I was slower, you're fast and furious.