Add repro for ocaml#7335.

Signed-off-by: Rodolphe Lepigre <[email protected]> Signed-off-by: Ali Caglayan <[email protected]>
rlepigre · Apr 30, 2023 · 9231583 · 9231583
1 parent 9ebbb77
commit 9231583
Show file tree

Hide file tree

Showing 6 changed files with 56 additions and 0 deletions.
diff --git a/test/blackbox-tests/test-cases/workspaces/root-detection.t/dep/dune-project b/test/blackbox-tests/test-cases/workspaces/root-detection.t/dep/dune-project
@@ -0,0 +1 @@
+(lang dune 3.8)
diff --git a/test/blackbox-tests/test-cases/workspaces/root-detection.t/dep/test2.opam b/test/blackbox-tests/test-cases/workspaces/root-detection.t/dep/test2.opam
diff --git a/test/blackbox-tests/test-cases/workspaces/root-detection.t/dune-project b/test/blackbox-tests/test-cases/workspaces/root-detection.t/dune-project
@@ -0,0 +1 @@
+(lang dune 3.8)
diff --git a/test/blackbox-tests/test-cases/workspaces/root-detection.t/dune-workspace b/test/blackbox-tests/test-cases/workspaces/root-detection.t/dune-workspace
@@ -0,0 +1 @@
+(lang dune 3.8)
diff --git a/test/blackbox-tests/test-cases/workspaces/root-detection.t/run.t b/test/blackbox-tests/test-cases/workspaces/root-detection.t/run.t
@@ -0,0 +1,53 @@
+This test checks the 
+
+  $ unset INSIDE_DUNE
+
+  $ ls . dep
+  .:
+  dep
+  dune-project
+  dune-workspace
+  test1.opam
+
+  dep:
+  dune-project
+  test2.opam
+
+Testing the root detection for:
+
+- dune build -p packages
+- dune build
+- dune clean
+
+First we test in the workspace root. We expect the root to be the same directory
+since that is where the dune-workspace file lives.
+
+  $ dune build -p test2 --verbose |& grep -A 1 'Workspace root:'
+  Workspace root:
+  $TESTCASE_ROOT
+  $ dune build -p test1 --verbose |& grep -A 1 'Workspace root:'
+  Workspace root:
+  $TESTCASE_ROOT
+  $ dune build --verbose |& grep -A 1 'Workspace root:'
+  Workspace root:
+  $TESTCASE_ROOT
+  $ dune clean --verbose |& grep -A 1 'Workspace root:'
+  Workspace root:
+  $TESTCASE_ROOT
+
+Next we try inside the dep directory. We expect the root to be the parent
+directory since that is where the dune-workspace file lives. However strangely
+for -p this doesn't appear to be the case.
+
+  $ (cd dep && dune build -p test2 --verbose |& grep -A 1 'Workspace root:')
+  Workspace root:
+  $TESTCASE_ROOT/dep
+  $ (cd dep && dune build -p test1 --verbose |& grep -A 1 'Workspace root:')
+  Workspace root:
+  $TESTCASE_ROOT/dep
+  $ (cd dep && dune build --verbose |& grep -A 1 'Workspace root:')
+  Workspace root:
+  $TESTCASE_ROOT
+  $ (cd dep && dune clean --verbose |& grep -A 1 'Workspace root:')
+  Workspace root:
+  $TESTCASE_ROOT
diff --git a/test/blackbox-tests/test-cases/workspaces/root-detection.t/test1.opam b/test/blackbox-tests/test-cases/workspaces/root-detection.t/test1.opam