Commit 8ad5eebf authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Fix broken installation (no binaries installed) for non-root, due to early exit.

parent 48cea014
......@@ -233,7 +233,6 @@ install_no_local::
cp -f share/emacs/why3.el $(DATADIR)/why3/emacs/why3.el
cp -f share/vim/why3.vim $(DATADIR)/why3/vim/why3.vim
cp -f share/lang/why3.lang $(DATADIR)/why3/lang/why3.lang
if test -d /etc/bash_completion.d; then cp -f share/bash/why3 /etc/bash_completion.d; fi
install_no_local_lib::
rm -rf $(OCAMLLIB)/why3
......@@ -1327,6 +1326,14 @@ doc/apidoc.tex: $(FILESTODOC)
clean::
rm -f doc/apidoc/*
##########
# Install rules that require root, and thus appear last in the file!
##########
install_no_local::
if test -d /etc/bash_completion.d; then cp -f share/bash/why3 /etc/bash_completion.d; fi
##########
# Stdlib formatted with why3doc
##########
......
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