From: Lucas Nussbaum <lucas@debian.org>
Date: Thu, 20 Apr 2017 13:10:42 +0200
Subject: Install stublibs

---
 Makefile | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

--- a/Makefile
+++ b/Makefile
@@ -443,10 +443,9 @@ install-libraries: libraries install-lib
 	        _build/*.cma _build/*.cmxa _build/*.a _build/*.so \
 	        `find _build/ -name \*.cm\[iox\] | grep -v /myocamlbuild` \
 	        `find _build/ -name \*.mli | grep -v /myocamlbuild` \
-	      $(LIBRARYPREFIX)/$$name/) && \
-	  if test -d $(LIBRARYPREFIX)/stublibs/; then \
-	    find _build/ -name "dll*.so" -exec cp -f "{}" $(LIBRARYPREFIX)/stublibs/ ";" ; \
-	  fi; \
+	      $(LIBRARYPREFIX)/$$name/) ; \
+	  mkdir -p $(LIBRARYPREFIX)/stublibs ; \
+	  find _build/ -name "dll*.so" -exec cp -f "{}" $(LIBRARYPREFIX)/stublibs/ ";" ; \
 	  echo 'Library installation was successful.'; \
 	fi)