Skip to content
Snippets Groups Projects
Commit 8c6f18b3 authored by Shachar Itzhaky's avatar Shachar Itzhaky
Browse files

[build] [bugfix] Workaround for a bug in Dune 2.4. 

(This bug is fixed upstream.)
parent 5efc6173
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
dune-workspace
+ 4
− 2
View file @ 8c6f18b3
(lang dune 2.1)
(lang dune 2.4)
(profile release)
(context
(opam (switch jscoq+32bit)
(profile release)
(disable_dynamically_linked_foreign_archives false) ; https://github.com/ocaml/dune/issues/3262
(merlin)))
dune-workspace-64
+ 4
− 2
View file @ 8c6f18b3
(lang dune 2.1)
(lang dune 2.4)
(profile release)
(context
(opam (switch jscoq+64bit)
(profile release)
(disable_dynamically_linked_foreign_archives false) ; https://github.com/ocaml/dune/issues/3262
(merlin)))
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment