From 1f72ff89ce348f308c9a05040450bada62761596 Mon Sep 17 00:00:00 2001 From: ArthurW Date: Thu, 5 Sep 2024 13:31:33 +0200 Subject: [PATCH] libirmin: still hangs on freebsd --- test/libirmin/dune | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/test/libirmin/dune b/test/libirmin/dune index d71a6fa782..9c4b82474e 100644 --- a/test/libirmin/dune +++ b/test/libirmin/dune @@ -2,13 +2,17 @@ (alias runtest) (package libirmin) (action - (setenv - DYLD_FALLBACK_LIBRARY_PATH - ../../src/libirmin/lib + (progn + (echo "\n\n\ntest libirmin on: " %{system} "\n\n\n") (setenv - LD_LIBRARY_PATH + DYLD_FALLBACK_LIBRARY_PATH ../../src/libirmin/lib - (run ./test.exe))))) + (setenv + LD_LIBRARY_PATH + ../../src/libirmin/lib + (run ./test.exe))))) + (enabled_if + (<> %{system} "bsd"))) (rule (targets test.exe)