Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
20018762
Commit
20018762
authored
Jul 17, 2015
by
Andrei Paskevich
Browse files
Makefile: do not recreate existing symlinks in share/
parent
78683f61
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile.in
View file @
20018762
...
...
@@ -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
##############
...
...
@@ -553,6 +548,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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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