From f0d0c5808e9400efe99eb95dca095a6ec67301e2 Mon Sep 17 00:00:00 2001
From: Damien Doligez <damien.doligez-inria.fr>
Date: Mar 25 2014 15:41:46 +0000
Subject: skip debugger test when dynlink is not available


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/testsuite/tests/tool-debugger/Makefile b/testsuite/tests/tool-debugger/Makefile
index 1f1fc33..f95b480 100644
--- a/testsuite/tests/tool-debugger/Makefile
+++ b/testsuite/tests/tool-debugger/Makefile
@@ -17,8 +17,12 @@ LD_PATH=$(TOPDIR)/otherlibs/$(UNIXLIBVAR)unix
 
 .PHONY: default
 default:
-	@$(MAKE) compile
-	@$(SET_LD_PATH) OCAMLLIB=. $(MAKE) run
+	@if ! $(SUPPORTS_SHARED_LIBRARIES); then \
+	  echo 'skipped (shared libraries not available)'; \
+	else \
+	  $(MAKE) compile; \
+	  $(SET_LD_PATH) OCAMLLIB=. $(MAKE) run; \
+	fi
 
 .PHONY: compile
 compile: $(ML_FILES) $(CMO_FILES) $(MAIN_MODULE).cmo