Skip to content

Commit

Permalink
test: install with no prefix
Browse files Browse the repository at this point in the history
Signed-off-by: Ali Caglayan <alizter@gmail.com>
  • Loading branch information
Alizter authored and rgrinberg committed Jun 19, 2023
1 parent b6e9615 commit e9db492
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions test/blackbox-tests/test-cases/install/install-no-prefix.t
Original file line number Diff line number Diff line change
@@ -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]

0 comments on commit e9db492

Please sign in to comment.