命令行选项的配置文件
Configuration file for command-line options
我希望我的 Agda 库中的所有模块都使用 --prop command-line option 进行编译。是否有一些配置文件可以为我的库设置默认选项？
您应该可以使用图书馆 .agda-lib 中的 flags: 字段。
该功能的测试用例恰好是--prop：https://github.com/agda/agda/blob/ebf922e06c3d1e86ae3cd4cc99cbe9ac8bc5648a/test/Succeed/default-flags/lib.agda-lib
说明书里都有：https://agda.readthedocs.io/en/v2.6.2/tools/package-system.html#library-files
我希望我的 Agda 库中的所有模块都使用 --prop command-line option 进行编译。是否有一些配置文件可以为我的库设置默认选项？
您应该可以使用图书馆 .agda-lib 中的 flags: 字段。
该功能的测试用例恰好是--prop：https://github.com/agda/agda/blob/ebf922e06c3d1e86ae3cd4cc99cbe9ac8bc5648a/test/Succeed/default-flags/lib.agda-lib
说明书里都有：https://agda.readthedocs.io/en/v2.6.2/tools/package-system.html#library-files