Use `_build` directory for interface files in `AGDA_DIR`

HeinrichApfelmus / agda-notes

Various notes on Agda and agda2hs

Apache License 2.0

2 stars 0 forks source link

Use `_build` directory for interface files in `AGDA_DIR` #1

Open HeinrichApfelmus opened 8 months ago

HeinrichApfelmus commented 8 months ago

At the moment, the libraries (standard-library and agda2hs) are compiled in such a way that the .agdai interface files are located next to the source files in the nix store. However, when compiling a project which has these libraries as dependencies, the interface files are expected in the _build directory.

HeinrichApfelmus commented 8 months ago

Note that

agda is ok with interface files next to the source code when checking the standard library
agda2hs expects the _build directory

Temporary workaround: Use agda2hs --local-interfaces