Add use public names to binaries, and use the right names in targets

[samoht]

Right now, the target names are ocamlliifed:

$ cat tutorial/hello-key/dune.build
(rule
 (target hello_key)
 (enabled_if (= %{context_name} "default"))
 (action
  (copy main.exe %{target})))

This should be hello-key to match the original unikernel name.

Also, to run this one, one has to type:

$ dune exec -- tutorial/hello-key/main.exe

whereas it would be better to simply write:

$ dune exec -- hello-key

Not that this probably wouldn't work with other build artefacts?

[TheLortex]

Ocamlification was introduced to generate opam files with correct names (as '.' would confuse opam). Do you know if there are other places were we expect ocamlified names ? I'm working on it but I don't want to make any mistake.

whereas it would be better to simply write:

$ dune exec -- hello-key

It's something that would be achievable by generating (install ..) stanzas. For now, one has to write

$ dune exec -- dist/hello-key

For other targets, it's not possible to have that, but dune build promotes the artifacts in the dist/ folder so

$ solo5-hvt dist/hello-key.hvt

would suffice in any case

[samoht]

Ocamlification was introduced to generate opam files with correct names (as '.' would confuse opam). Do you know if there are other places were we expect ocamlified names ? I'm working on it but I don't want to make any mistake.

I don't know - but if it passes mirage-skeleton I think we are good :-)

It's something that would be achievable by generating (install ..) stanzas. For now, one has to write

that'd be great to have this indeed :-) (I think it was in my previous patch?)

The current dist/ target directory is not super practical for mirage-skeleton as tutorial/hello-key/dist is not at the root of the repo.

[TheLortex]

The current dist/ target directory is not super practical for mirage-skeleton as tutorial/hello-key/dist is not at the root of the repo.

The problem is that as long as mirage can configure one unikernel at a time it's hard to make everything compose without relying on separate folders.

I've just testing generating (install ..) stanzas but the issue is that dune requires an opam file at the root of the project for it to work.

[dinosaure]

Due to #1251, should we close this PR?