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
9f79b4c9
Commit
9f79b4c9
authored
Nov 09, 2016
by
Ralf Jung
Browse files
add a working 'uninstall' target and call it before installing
parent
e2c493dd
Pipeline
#2981
passed with stage
in 9 minutes and 50 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
9f79b4c9
...
...
@@ -10,6 +10,12 @@ clean: Makefile.coq
+@make
-f
Makefile.coq clean
rm
-f
Makefile.coq
uninstall
:
+@make
-f
Makefile.uninstall uninstall
install
:
Makefile.coq uninstall
+@make
-f
Makefile.coq
install
Makefile.coq
:
_CoqProject Makefile
coq_makefile
-f
_CoqProject |
sed
's/$
$(COQCHK)
$
$(COQCHKFLAGS)
$
$(COQLIBS)
/$
$(COQCHK)
$
$(COQCHKFLAGS)
$
$(
subst
-Q,-R,$
$(COQLIBS)
)
/'
>
Makefile.coq
...
...
@@ -19,4 +25,4 @@ Makefile: ;
phony
:
;
.PHONY
:
all clean phony
.PHONY
:
all clean
install uninstall
phony
Makefile.uninstall
0 → 100644
View file @
9f79b4c9
## This makefile does some pretty heavy manipualtion of variables,
## which we don't want in our main Makefile. That's why it is
## in a separate file.
## BEGIN things copied from Makefile.coq
# Here is a hack to make $(eval $(shell works:
define
donewline
endef
includecmdwithout@
=
$(eval
$(subst
@,$(donewline),$(shell
{
$(1)
|
tr
-d
'\r'
|
tr
'\n'
'@'
;
})))
$(call
includecmdwithout@,$(COQBIN)coqtop
-config)
ifdef
USERINSTALL
XDG_DATA_HOME
?=
"
$(HOME)
/.local/share"
COQLIBINSTALL
=
$(XDG_DATA_HOME)
/coq
COQDOCINSTALL
=
$(XDG_DATA_HOME)
/doc/coq
else
COQLIBINSTALL
=
"
${COQLIB}
user-contrib"
COQDOCINSTALL
=
"
${DOCDIR}
user-contrib"
COQTOPINSTALL
=
"
${COQLIB}
toploop"
endif
## End things copied from Makefile.coq
uninstall
:
if
[
-d
"
$(DSTROOT)
"
$(COQLIBINSTALL)
/iris/
]
;
then
find
"
$(DSTROOT)
"
$(COQLIBINSTALL)
/iris/
-name
"*.vo"
-print
-delete
;
fi
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