Reproduce ocaml#3624

This bug demonstrates dune adding an incorrect `using` line in a create dune-project file. Signed-off-by: Rudi Grinberg <[email protected]>
rgrinberg · Jul 27, 2020 · 234c38e · 234c38e
1 parent e161637
commit 234c38e
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 0 deletions.
diff --git a/test/blackbox-tests/dune.inc b/test/blackbox-tests/dune.inc
@@ -206,6 +206,17 @@
    test-cases/coq/extract.t
    (progn (run dune-cram run run.t) (diff? run.t run.t.corrected)))))
 
+(rule
+ (alias coq-github3624)
+ (deps
+  (package dune)
+  (source_tree test-cases/coq/github3624.t)
+  (alias test-deps))
+ (action
+  (chdir
+   test-cases/coq/github3624.t
+   (progn (run dune-cram run run.t) (diff? run.t run.t.corrected)))))
+
 (rule
  (alias coq-main)
  (deps (package dune) (source_tree test-cases/coq/main.t) (alias test-deps))
@@ -3197,6 +3208,7 @@
   (alias contents-depends-on-glob)
   (alias copy-files-non-sub-dir-error)
   (alias copy_files)
+  (alias coq-github3624)
   (alias corrections)
   (alias cross-compilation)
   (alias custom-build-dir)
@@ -3504,6 +3516,7 @@
   (alias contents-depends-on-glob)
   (alias copy-files-non-sub-dir-error)
   (alias copy_files)
+  (alias coq-github3624)
   (alias corrections)
   (alias custom-build-dir)
   (alias custom-cross-compilation)

diff --git a/test/blackbox-tests/test-cases/coq/github3624.t/run.t b/test/blackbox-tests/test-cases/coq/github3624.t/run.t
@@ -0,0 +1,8 @@
+In github #3624, dune created a dune-project with an incorrect using line.
+
+  $ cat >dune <<EOF
+  > (coq.theory
+  >  (name foo))
+  > EOF
+  $ dune build 2>&1 | grep using
+  Info: Appending this line to dune-project: (using coq.theory 0.2)