search

tezos-checker / checker

An in-development "robocoin" system for the Tezos blockchain
24 stars 16 forks source link

Restore correct behavior for dune build #198

Closed gkaracha closed 3 years ago

gkaracha commented 3 years ago

Following a334f05 dune build @install would not work correctly, because src/dune did not specify a public name (so "checker" was assumed), but the opam file in src was named "src.opam" so the names did not match and dune build @install would silently do nothing.

To address this, this PR adds the public name "checker" to dune/src and the accompanying (currently empty) opam file checker.opam at the top-level.

gkaracha commented 3 years ago

Thanks for having a look! :pray:

I'm just curious, what does dune build @install do?

It's supposed to build all public artifacts (i.e., the ones that would be installed if someone used checker as a library). See here.