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
Emanuele D'Osualdo
stdpp
Commits
1b559061
Commit
1b559061
authored
Nov 02, 2020
by
Ralf Jung
Browse files
update Makefile
parent
d0f75495
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
1b559061
# Default target
all
:
Makefile.coq
+@
make
-f
Makefile.coq all
+@
$(MAKE)
-f
Makefile.coq all
.PHONY
:
all
# Permit local customization
...
...
@@ -9,12 +9,12 @@ all: Makefile.coq
# Forward most targets to Coq makefile (with some trick to make this phony)
%
:
Makefile.coq phony
@
#echo "Forwarding $@"
+@
make
-f
Makefile.coq
$@
+@
$(MAKE)
-f
Makefile.coq
$@
phony
:
;
.PHONY
:
phony
clean
:
Makefile.coq
+@
make
-f
Makefile.coq clean
+@
$(MAKE)
-f
Makefile.coq clean
find theories tests exercises solutions
\(
-name
"*.d"
-o
-name
"*.vo"
-o
-name
"*.vo[sk]"
-o
-name
"*.aux"
-o
-name
"*.cache"
-o
-name
"*.glob"
-o
-name
"*.vio"
\)
-print
-delete
||
true
rm
-f
Makefile.coq .lia.cache builddep/
*
.PHONY
:
clean
...
...
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