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
parent
ae63ae456f
commit
3de0115bfe
4
Makefile
4
Makefile
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue