tests

Author: benodiwal

test/blackbox-tests/test-cases/workspaces/pkg-in-dune-project.t/dune-project

@@ -0,0 +1,2 @@
+(lang dune 3.20)
+(pkg enabled)

test/blackbox-tests/test-cases/workspaces/pkg-in-dune-project.t/run.t

@@ -0,0 +1,10 @@
+Test that putting (pkg enabled) in dune-project instead of dune-workspace
+gives a helpful error message.
+
+  $ dune build
+  File "dune-project", line 2, characters 0-13:
+  2 | (pkg enabled)
+      ^^^^^^^^^^^^^
+  Error: (pkg ...) belongs in dune-workspace, not dune-project
+  Hint: move this stanza to your dune-workspace file
+  [1]