Blame · dune-workspace.64 · 32f4d98be332d398f3da61109d9a906ac82f6e91 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

dune-workspace.64 184 B

Newer Older

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

Shachar Itzhaky committed 4 years ago

(lang dune 2.4)

(profile release)

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

[build] Set up a local switch.

Shachar Itzhaky committed 5 years ago

(context
 (opam (switch jscoq+64bit)

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

Shachar Itzhaky committed 4 years ago

  (disable_dynamically_linked_foreign_archives false) ; https://github.com/ocaml/dune/issues/3262

[build] Set up a local switch.

Shachar Itzhaky committed 5 years ago

  (merlin)))