Skip to content

Conversation

@sim642
Copy link
Member

@sim642 sim642 commented Aug 22, 2022

Currently dune build gobview in Goblint's repository only builds Gobview half-way: it does the js_of_ocaml compilation, but doesn't actually create the dist directory that Goblint tries to use with --enable gobview.

TODO

@sim642 sim642 added the bug Something isn't working label Aug 22, 2022
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

Successfully merging this pull request may close these issues.

2 participants