Stream: MetaCoq

Topic: build failure on case insensitive filesystem

view this post on Zulip Ben Siraphob (Nov 08 2021 at 16:57):

I ran into yesterday, it appears that one of the build phases of metacoq is to rename files into lowercase to prepare for the next build step but this fails on macOS

Last updated: Jul 24 2024 at 12:02 UTC