Commit 8795a784 authored by Armaël Guéneau's avatar Armaël Guéneau

Remove the target before installing

Without this, successive invocations of `make install` would create a circular
symlink, contained in the source directory and pointing to it. This symlink
would confuse coq and result in verbose error messages, in particular with coq
8.6.
parent 0dfe99ac
......@@ -54,5 +54,6 @@ WHERE := $(shell $(COQBIN)coqc -where)
CONTRIB := $(WHERE)/user-contrib
install:
rm -rf $(CONTRIB)/CFML
mkdir -p $(CONTRIB)
ln -s `pwd` $(CONTRIB)/CFML
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment