From e9db492a0768bcad6831d18c882e0d8dd4aa90cf Mon Sep 17 00:00:00 2001 From: Ali Caglayan Date: Wed, 31 May 2023 12:03:04 +0200 Subject: [PATCH] test: install with no prefix Signed-off-by: Ali Caglayan --- .../test-cases/install/install-no-prefix.t | 22 +++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 test/blackbox-tests/test-cases/install/install-no-prefix.t diff --git a/test/blackbox-tests/test-cases/install/install-no-prefix.t b/test/blackbox-tests/test-cases/install/install-no-prefix.t new file mode 100644 index 00000000000..963311bf543 --- /dev/null +++ b/test/blackbox-tests/test-cases/install/install-no-prefix.t @@ -0,0 +1,22 @@ +Here we specify the behaviour of dune install when no install prefix is given. + + $ cat > dune-project << EOF + > (lang dune 3.9) + > EOF + + $ cat > dune << EOF + > (executable + > (public_name main)) + > EOF + + $ cat > main.ml + $ cat > proj.opam + + $ dune build @install + +We should suggest to the user here that they should use --prefix. + + $ dune install + Error: The mandir installation directory is unknown. + Hint: It could be specified with --mandir + [1]