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)