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

Snippets Groups Projects

dune-workspace 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)

[build] Port build to Dune

Emilio Jesus Gallego Arias committed 5 years ago

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

(context

[build] Set up a local switch.

Shachar Itzhaky committed 5 years ago

 (opam (switch jscoq+32bit)

[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

[64] Conditional 64-compilation attempt.

Shachar Itzhaky committed 5 years ago

  (merlin)))