From ae88b35e6df0b6ca23790175d45b53194e3d46a0 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 1 Dec 2016 13:19:36 +0100
Subject: [PATCH] Makefile: instead of letting 'install' uninstall stuff, fix
the 'uninstall' target
---
Makefile | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/Makefile b/Makefile
index 67fe28dc4..b1c684e83 100644
--- a/Makefile
+++ b/Makefile
@@ -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 '/^uninstall:/{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: ;
--
GitLab