Open rwmjones opened 4 years ago
This is the trivial workaround I added to the Fedora package:
+# https://github.com/garrigue/lablgtk/issues/115
+mv examples/dialog-thread.ml examples/dialog_thread.ml
+sed -i -e 's/dialog-thread/dialog_thread/' examples/dune
It looks like this PR is related https://github.com/garrigue/lablgtk/pull/114 and so the fix is delayed until dune 3? :thinking:
I don't know about that, but it's in dune 2.7.0 right now :-) The upstream change seems to have happened in https://github.com/ocaml/dune/commit/92240aaec0e1032dcb8f93904272096b883f50a2
Fix is to rename the example.