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
Iris
Iris
Commits
ae88b35e
Commit
ae88b35e
authored
Dec 01, 2016
by
Ralf Jung
Browse files
Makefile: instead of letting 'install' uninstall stuff, fix the 'uninstall' target
parent
a98ab308
Pipeline
#3200
passed with stage
in 10 minutes and 40 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
ae88b35e
...
...
@@ -18,9 +18,11 @@ clean: Makefile.coq
rm
-f
Makefile.coq
Makefile.coq
:
_CoqProject Makefile
coq_makefile
$(COQ_MAKEFILE_FLAGS)
-f
_CoqProject
-o
Makefile.coq.tmp
@
# we want to pass the correct name to coq_makefile or it will be confused
coq_makefile
$(COQ_MAKEFILE_FLAGS)
-f
_CoqProject
-o
Makefile.coq
mv
Makefile.coq Makefile.coq.tmp
sed
's/$
$(COQCHK)
$
$(COQCHKFLAGS)
$
$(COQLIBS)
/$
$(COQCHK)
$
$(COQCHKFLAGS)
$
$(
subst
-Q,-R,$
$(COQLIBS)
)
/'
< Makefile.coq.tmp
\
|
awk
'/^install:
$$
/{print;print "\tif [ -d \"$
$(DSTROOT)
\"$
$(COQLIBINSTALL)
/iris/ ]; then find \"$
$(DSTROOT)
\"$
$(COQLIBINSTALL)
/iris/ -name \"*.vo\" -print -delete; fi";next}1'
>
Makefile.coq
|
awk
'/^
un
install:/{print
"uninstall:"
;print "\tif [ -d \"$
$(DSTROOT)
\"$
$(COQLIBINSTALL)
/iris/ ]; then find \"$
$(DSTROOT)
\"$
$(COQLIBINSTALL)
/iris/ -name \"*.vo\" -print -delete; fi";
getline;
next}1'
>
Makefile.coq
rm
Makefile.coq.tmp
_CoqProject
:
;
...
...
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