Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Jonas Kastberg
iris
Commits
9f8d9146
Commit
9f8d9146
authored
Jan 10, 2017
by
Ralf Jung
Browse files
update awk.Makefile
parent
01d12014
Changes
1
Hide whitespace changes
Inline
Side-by-side
awk.Makefile
View file @
9f8d9146
# 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>.
/^uninstall:/ {
print "uninstall:";
print "\tif [ -d \"$$(DSTROOT)\"$$(COQLIBINSTALL)/
iris
/ ]; then find \"$$(DSTROOT)\"$$(COQLIBINSTALL)/
iris
/ -name \"*.vo\" -print -delete; fi";
print "\tif [ -d \"$$(DSTROOT)\"$$(COQLIBINSTALL)/
"PROJECT"
/ ]; then find \"$$(DSTROOT)\"$$(COQLIBINSTALL)/
"PROJECT"
/ -name \"*.vo\" -print -delete; fi";
getline;
next
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment