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
Rodolphe Lepigre
Iris
Commits
36322106
Commit
36322106
authored
Sep 26, 2017
by
Ralf Jung
Browse files
update awk.Makefile
parent
714df933
Changes
1
Hide whitespace changes
Inline
Side-by-side
awk.Makefile
View file @
36322106
...
...
@@ -19,17 +19,16 @@
next
}
#
Patch vio
2vo to (a) run "make quick" with the same number of jobs, ensuring
#
Add new target quick
2vo to (a) run "make quick" with the same number of jobs, ensuring
# that the .vio files are up-to-date, and (b) only schedule vio2vo for those
# files where the .vo is *older* than the .vio.
/^vio2vo:/ {
print "
vio
2vo:";
print "
quick
2vo:";
print "\t@make -j $(J) quick"
print "\t@VIOFILES=$$(for file in $(VOFILES
:%.vo=%.vio
); do vofile=\"$$(echo \"$$file\" | sed \"s/\\.v
i
o/.vo/\")\"; if [ \"$$vofile\" -ot \"$$file\" -o ! -e \"$$vofile\" ]; then echo -n \"$$file \"; fi; done); \\"
print "\t@VIOFILES=$$(for
vo
file in $(VOFILES); do v
i
ofile=\"$$(echo \"$$
vo
file\" | sed \"s/\\.vo/.v
i
o/\")\"; if [ \"$$vofile\" -ot \"$$
vio
file\" -o ! -e \"$$vofile\" ]; then echo -n \"$$
vio
file \"; fi; done); \\"
print "\t echo \"VIO2VO: $$VIOFILES\"; \\"
print "\t if [ -n \"$$VIOFILES\" ]; then $(COQC) $(COQDEBUG) $(COQFLAGS) -schedule-vio2vo $(J) $$VIOFILES; fi"
getline;
next
print "\t if [ -n \"$$VIOFILES\" ]; then $(TIMER) $(COQC) $(COQDEBUG) $(COQFLAGS) -schedule-vio2vo $(J) $$VIOFILES; fi"
print ".PHONY: quick2vo"
}
# This forwards all unchanged lines
...
...
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