Minor patch to build Coq 8.1 on OS X (no native "cp --parent").
Courtesy of Timothy Bourke. For the record, Jean-Marc Notin also fixed the issue at some time with commit 3c767fca (svn r11833) which for some reason did not go in the v8.1 branch.
Loading
Please register or sign in to comment