如何为Agda库设置默认编译选项 全局启用--prop命令行参数

有对应的配置文件可以实现这个需求。
你只需要在你维护的Agda库的根目录下创建名为agda-lib的库配置文件，在文件内添加如下内容即可：

flags: --prop

配置完成后，所有编译该库内模块的场景，都会默认启用--prop选项，无需每次手动输入命令行参数。如果需要临时修改该配置，直接在执行编译命令时手动传入对应参数即可，手动传入的参数优先级高于agda-lib文件中的配置。

内容的提问来源于stack exchange，提问作者Jo Liss