Add regression tests

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
Jeremie Dimino 2018-07-10 14:28:11 +01:00 committed by Jérémie Dimino
parent 0272733d2a
commit 81d053337f
14 changed files with 55 additions and 0 deletions

View File

@ -311,6 +311,14 @@
test-cases/github784
(progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
(alias
(name github992)
(deps (package dune) (source_tree test-cases/github992))
(action
(chdir
test-cases/github992
(progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
(alias
(name ignored_subdirs)
(deps (package dune) (source_tree test-cases/ignored_subdirs))
@ -740,6 +748,7 @@
(alias github761)
(alias github764)
(alias github784)
(alias github992)
(alias ignored_subdirs)
(alias include-loop)
(alias inline_tests)
@ -824,6 +833,7 @@
(alias github761)
(alias github764)
(alias github784)
(alias github992)
(alias ignored_subdirs)
(alias include-loop)
(alias inline_tests)

View File

@ -0,0 +1,5 @@
(menhir (modules a))
(library
(name bar)
(public_name bar))

View File

@ -0,0 +1,2 @@
(lang dune 1.0)
(using menhir 1.0)

View File

@ -0,0 +1 @@
print_endline "Hello, world!"

View File

@ -0,0 +1,3 @@
(executable
((name foo)
(package foo)))

View File

@ -0,0 +1,3 @@
(executable
(name foo)
(package foo))

View File

@ -0,0 +1 @@
(lang dune 1.0)

View File

@ -0,0 +1 @@
print_endline "Hello, world!"

View File

@ -0,0 +1,24 @@
Variaous regression tests fixed by ocaml/dune#992
Interaction of (menhir ...) and -p
----------------------------------
This used to fail because dune couldn't associate a compilation
context to the menhir files when package bar was hidden.
$ cd menhir-and-dash-p && dune build -p foo
package field without public_name field
---------------------------------------
This used to fail because the parser for the "package" field when
there is no "public_name"/"public_names" field used to not parse the
argument of "package".
$ cd package-without-pub-name && dune build -p foo
File "dune", line 3, characters 1-14:
Warning: This field is useless without a (public_name ...) field.
$ cd package-without-pub-name-jbuild && dune build -p foo
File "jbuild", line 3, characters 2-15:
Warning: This field is useless without a (public_name ...) field.

View File

@ -10,3 +10,8 @@ are readable.
File "dune", line 4, characters 12-17:
These parentheses are no longer necessary with dune, please remove them.
[1]
$ dune build --root c
File "dune", line 3, characters 7-14:
These parentheses are no longer necessary with dune, please remove them.
[1]