mirror of
https://github.com/anoma/juvix.git
synced 2024-07-14 19:30:34 +03:00
Refactor hie.yaml and add entry in the readme (#1672)
This commit is contained in:
parent
af63c36574
commit
597eb0fa49
1
.gitignore
vendored
1
.gitignore
vendored
@ -86,3 +86,4 @@ docs/**/*.md
|
|||||||
docs/org/README.org
|
docs/org/README.org
|
||||||
# Binary files (produced by `make check`)
|
# Binary files (produced by `make check`)
|
||||||
examples/milestone/HelloWorld/HelloWorld
|
examples/milestone/HelloWorld/HelloWorld
|
||||||
|
hie.yaml
|
||||||
|
16
README.org
16
README.org
@ -164,6 +164,19 @@ juvix compile --target wasm HelloWorld.juvix
|
|||||||
wasmer HelloWorld.wasm
|
wasmer HelloWorld.wasm
|
||||||
#+end_src
|
#+end_src
|
||||||
|
|
||||||
|
** LSP support
|
||||||
|
|
||||||
|
We provide a sammple =hie.yaml= configuration file for both =cabal= and =stack=.
|
||||||
|
|
||||||
|
If you prefer =stack=, run:
|
||||||
|
#+begin_src shell
|
||||||
|
cp stack.hie.yaml hie.yaml
|
||||||
|
#+end_src
|
||||||
|
If you prefer =cabal=, run:
|
||||||
|
#+begin_src shell
|
||||||
|
cp cabal.hie.yaml hie.yaml
|
||||||
|
#+end_src
|
||||||
|
|
||||||
** Building the project with =cabal=
|
** Building the project with =cabal=
|
||||||
|
|
||||||
We recommend that contributors use the =stack= build tool with this project.
|
We recommend that contributors use the =stack= build tool with this project.
|
||||||
@ -171,9 +184,6 @@ We recommend that contributors use the =stack= build tool with this project.
|
|||||||
If you would prefer to use the =cabal= build tool instead then you must generate
|
If you would prefer to use the =cabal= build tool instead then you must generate
|
||||||
the =juvix.cabal= file using [[https://github.com/sol/hpack][hpack]] before running =cabal build=.
|
the =juvix.cabal= file using [[https://github.com/sol/hpack][hpack]] before running =cabal build=.
|
||||||
|
|
||||||
To configure the Haskell LSP server to use =cabal= then replace =hie.yaml= with
|
|
||||||
=cabal.hie.yaml= in the root of the repostiory.
|
|
||||||
|
|
||||||
** The Juvix programming language
|
** The Juvix programming language
|
||||||
|
|
||||||
Juvix allows us to write programs with a high degree of assurance. The Juvix
|
Juvix allows us to write programs with a high degree of assurance. The Juvix
|
||||||
|
Loading…
Reference in New Issue
Block a user