switches to dune

[ivg]

The only breaking change is that we have piqirun.pb and piqirun.ext but not piqirun, dune doesn't allow this. It should be noted that, in fact, piqirun was an empty library, which shouldn't be referenced at all and probably was added accidentally. See alavrik/piqi#68

[alavrik]

Thanks @ivg. dune build is returning an error when trying to build:

% dune build -p piqi
File "dune-project", line 4, characters 0-24:
4 | (package (name piqirun))
    ^^^^^^^^^^^^^^^^^^^^^^^^
Error: when a single package is defined, it must have the same name as the
project name: piqi

I've just tried the latest dune 3.4.1

[alavrik]

@ivg this seems to fix it. What do you think? 1b68832

this essentially results in a new empty piqi package, but hope it doesn't cause any confusion

[ivg]

It sounds good. See my other comment in the related PR. It might be that the opam-repository maintainers will ask us to split the packages so that we have a one-to-one correspondence. But so far it looks like it works as it is.