Skip to content
Snippets Groups Projects
Normal view Permalink
dune-workspace 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)
Emilio Jesus Gallego Arias's avatar
[build] Port build to Dune
Emilio Jesus Gallego Arias committed
4
Shachar Itzhaky's avatar
[64] Conditional 64-compilation attempt.  
Shachar Itzhaky committed
5 
(context
Shachar Itzhaky's avatar
[build] Set up a local switch.  
Shachar Itzhaky committed
6 
 (opam (switch jscoq+32bit)
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
[64] Conditional 64-compilation attempt.  
Shachar Itzhaky committed
8 
  (merlin)))