coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

testing native config

Open Alizter opened this issue 2 years ago • 2 comments

We test the support for -native-compiler yes added in https://github.com/NixOS/nixpkgs/pull/224110.

Alizter avatar Apr 06 '23 10:04 Alizter

OK the early errors indicate that we need to make ocaml a propagated build input like you said.

Alizter avatar Apr 06 '23 14:04 Alizter

Alright, ocaml is now a propagated build input when native-compiler is enabled.

Alizter avatar Apr 06 '23 14:04 Alizter