From 3ea89edac7bfa788741916c07f7337bc6100fd15 Mon Sep 17 00:00:00 2001 From: Kevin Sala Date: Fri, 20 Oct 2023 16:29:46 +0200 Subject: [PATCH] Update Sonar repository URL pointing to the public GitHub --- doc/user/emulation/mpi.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/user/emulation/mpi.md b/doc/user/emulation/mpi.md index 86d3723..197b2ae 100644 --- a/doc/user/emulation/mpi.md +++ b/doc/user/emulation/mpi.md @@ -18,8 +18,8 @@ their functions. [mpi]: https://www.mpi-forum.org [mpi docs]: https://www.mpi-forum.org/docs -[sonar]: https://pm.bsc.es/gitlab/ovni/sonar -[sonar docs]: https://pm.bsc.es/gitlab/ovni/sonar/-/blob/main/README.md +[sonar]: https://github.com/bsc-pm/sonar +[sonar docs]: https://github.com/bsc-pm/sonar#readme Sonar requires an installation of the ovni library and an MPI library. Use the option `--with-ovni=prefix` when building Sonar to specify the ovni prefix. The