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

Not installable/pinnable with opam #47

Open
sim642 opened this issue Jun 21, 2024 · 0 comments
Open

Not installable/pinnable with opam #47

sim642 opened this issue Jun 21, 2024 · 0 comments
Assignees
Labels
bug Something isn't working

Comments

@sim642
Copy link
Member

sim642 commented Jun 21, 2024

Trying to install or pin Gobview with opam errors:

#=== ERROR while compiling gobview.~dev =======================================#
# context     2.1.2 | linux/x86_64 | ocaml-variants.4.14.0+options | pinned(git+file:///home/simmo/dev/goblint/sv-comp/goblint/gobview#master#eb6ff918)
# path        ~/dev/goblint/sv-comp/goblint/_opam/.opam-switch/build/gobview.~dev
# command     ~/.opam/opam-init/hooks/sandbox.sh build dune build -p gobview -j 15 @install
# exit-code   1
# env-file    ~/.opam/log/gobview-2650379-99c6a1.env
# output-file ~/.opam/log/gobview-2650379-99c6a1.out
### output ###
# File "goblint-http-server/dune", line 4, characters 30-35:
# 4 |  (promote (until-clean) (into ../..))
#                                   ^^^^^
# Error: path outside the workspace: ../.. from goblint-http-server

Of course we've meant to use it as a submodule of Goblint but it would be nice if it at least didn't error like this. Pinning in opam is needed for generating lock files correctly.

@sim642 sim642 added the bug Something isn't working label Jun 21, 2024
@sim642 sim642 self-assigned this Jun 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant