At installation time, remove some leftover files from otherlibs/num

In $(INSTALL_LIBDIR) there can be leftover files from an earlier installation of OCaml, including files from the now defunct otherlibs/num library.  Those files can cause findlib/ocamlfind to think that the Num library is still provided by the core OCaml distribution.

This is a temporary hack, to be cleaned up in 4.07 for example.
master
Xavier Leroy 2017-08-19 17:44:26 +02:00
parent ae63ae456f
commit 3de0115bfe
1 changed files with 4 additions and 0 deletions

View File

@ -635,6 +635,10 @@ endif
for i in $(OTHERLIBRARIES); do \
$(MAKE) -C otherlibs/$$i install || exit $$?; \
done
# Transitional: findlib 1.7.3 is confused if leftover num.cm? files remain
# from an previous installation of OCaml before otherlibs/num was removed.
rm -f "$(INSTALL_LIBDIR)"/num.cm?
# End transitional
if test -n "$(WITH_OCAMLDOC)"; then \
$(MAKE) -C ocamldoc install; \
fi