Makefile: do not recreate existing symlinks in share/

4df96e8e · Andrei Paskevich · 92341bd0 · 4df96e8e
Commit 4df96e8e authored Jul 17, 2015 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 11 additions and 5 deletions

Makefile.in Makefile.in +11 -5

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -120,11 +120,6 @@ CLEANDIRS =
 CLEANLIBS =
 GENERATED =

-install_local::
-	ln -s -n -f ../drivers share/drivers
-	ln -s -n -f ../modules share/modules
-	ln -s -n -f ../theories share/theories
-
 ##############
 # Why3 library
 ##############
@@ -555,6 +550,17 @@ install_local:: bin/why3 $(addprefix bin/,$(TOOLS_BIN))
 bin/%:	bin/%.@OCAMLBEST@
 	ln -sf $(notdir $<) $@

+install_local:: share/drivers share/modules share/theories
+
+share/drivers:
+	ln -snf ../drivers share/drivers
+
+share/modules:
+	ln -snf ../modules share/modules
+
+share/theories:
+	ln -snf ../theories share/theories
+
 ifneq "$(MAKECMDGOALS:clean%=clean)" "clean"
 include $(TOOLSDEP)
 endif