Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add make opam-deps-opt to INSTALL.md #149

Merged
merged 1 commit into from
Sep 3, 2024
Merged

Conversation

lemmy
Copy link
Member

@lemmy lemmy commented Sep 2, 2024

I encountered the following errors after pulling the latest commits from main. I manually installed eio_main with opam install eio_main and lsp with opam install lsp before noticing make opam-deps-opt:

-> % make
dune build
File "lsp/bin/dune", line 7, characters 26-34:
7 |  (libraries tlapm_lsp_lib eio_main cmdliner))
                              ^^^^^^^^
Error: Library "eio_main" not found.
-> required by _build/default/lsp/bin/tlapm_lsp.exe
-> required by alias lsp/bin/all
-> required by alias default
make: *** [build] Error 1
dune build
File "lsp/bin/dune", line 7, characters 12-25:
7 |  (libraries tlapm_lsp_lib eio_main cmdliner))
                ^^^^^^^^^^^^^
Error: Library "tlapm_lsp_lib" in _build/default/lsp/lib is hidden (optional
with unavailable dependencies).
-> required by _build/default/lsp/bin/tlapm_lsp.exe
-> required by alias lsp/bin/all
-> required by alias default
make: *** [build] Error 1

I encountered the following errors after pulling the latest commits from main. I manually installed `eio_main` with `opam install eio_main` and `lsp` with `opam install lsp` before noticing `make opam-deps-opt`:

```shell
-> % make
dune build
File "lsp/bin/dune", line 7, characters 26-34:
7 |  (libraries tlapm_lsp_lib eio_main cmdliner))
                              ^^^^^^^^
Error: Library "eio_main" not found.
-> required by _build/default/lsp/bin/tlapm_lsp.exe
-> required by alias lsp/bin/all
-> required by alias default
make: *** [build] Error 1
```

```shell
dune build
File "lsp/bin/dune", line 7, characters 12-25:
7 |  (libraries tlapm_lsp_lib eio_main cmdliner))
                ^^^^^^^^^^^^^
Error: Library "tlapm_lsp_lib" in _build/default/lsp/lib is hidden (optional
with unavailable dependencies).
-> required by _build/default/lsp/bin/tlapm_lsp.exe
-> required by alias lsp/bin/all
-> required by alias default
make: *** [build] Error 1
```
@kape1395 kape1395 merged commit 8986045 into tlaplus:main Sep 3, 2024
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants