Commit 642d6b54 authored by Maxime Perrotin's avatar Maxime Perrotin

Uninstall pohic before reinstalling it

There may be some files remaining from old installations in tool-inst
(e.g. and these files are unwanted because they could
break some builds.
parent 38cf8699
......@@ -4,6 +4,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
# Setup the tools in ~/.local/bin
cd $DIR/../polyorb-hi-c || exit 1
make uninstall # remove anything left in tool-inst
make distclean # ignore any errors here
./support/reconfig || exit 1
PATH=${PREFIX}/bin:${PATH} ./configure || exit 1
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment