Skip to content
Snippets Groups Projects
Normal view Permalink
dune-workspace.64 184 B
Newer Older
Shachar Itzhaky's avatar
[build] [bugfix] Workaround for a bug in Dune 2.4.  
Shachar Itzhaky committed
1 2 3 
(lang dune 2.4)

(profile release)
Shachar Itzhaky's avatar
[64] Conditional 64-compilation attempt.
Shachar Itzhaky committed
4
Shachar Itzhaky's avatar
[build] Set up a local switch.  
Shachar Itzhaky committed
5 6 
(context
 (opam (switch jscoq+64bit)
Shachar Itzhaky's avatar
[build] [bugfix] Workaround for a bug in Dune 2.4.  
Shachar Itzhaky committed
7 
  (disable_dynamically_linked_foreign_archives false) ; https://github.com/ocaml/dune/issues/3262
Shachar Itzhaky's avatar
[build] Set up a local switch.  
Shachar Itzhaky committed
8 
  (merlin)))