# awk program that patches the Makefile generated by Coq.# Detect the name this project will be installed under./\$\(COQLIBINSTALL\)\/.*\/\$\$i/ {# Wow, POSIX awk is really broken. I mean, isn't it supposed to be a text processing language?# And there is not even a way to access the matched groups of a regexp...?!? Lucky enough,# we can just split the string at '/' here. split($0, PIECES, /\//); PROJECT=PIECES[2];}# Patch the uninstall target to work properly, and to also uninstall stale files.# Also see <https://coq.inria.fr/bugs/show_bug.cgi?id=4907>.