Kaustuv Chaudhuri

Maybe Dune's `_build` directory is broken on `ppc32` somehow? What do you get when you run the exact command in the initial message: ```bash $ cd /opt/local/var/macports/build/_opt_PPCSnowLeopardPorts_math_abella/abella/work/abella-2.0.8/ $ dune build...

Right, so what's the file in `_build/default/src/lexer.mll`? It should be identical to `src/lexer.mll`.

Check out a10b8e7435eacf44f44db92230daeee09533f072 (tag `v2.0.8+bc`) for a byte-compiled version of the Abella distribution. Very lightly tested with just `make test` on my system (`x86_64-linux-debian`), but at least it successfully checks...

What is the file in `_build/default/src/lexer.mll` please?

OK, this is then not an Abella issue at all. It appears that Dune is not making the `_build` directory correctly. Please file an issue with https://github.com/ocaml/dune/issues.

If you run `make all-release abella.install`, it will create a file called `abella.install` that has instructions for all the files that need to be installed. The format of the file...

Thanks for the reminder. Will get to it as soon as I can.

Sorry for the delays. Can you check if the [2.0.8.2 release](https://github.com/abella-prover/abella/releases/tag/v2.0.8.2) compiles for you out of the box? The `DUNE` variable in the `Makefile` can be tweaked as needed for...

Is there a specific reason you are trying to build 2.0.7? 2.0.8 has been out for several months now.

Let me check if 2.0.8 compiles with Dune 3.7.1 specifically. A priori it should since it only has `(lang dune 3.7)`.