Merge pull request #1037 from rgrinberg/update-tests-workspace
Add missing dune-project files to tests
This commit is contained in:
commit
4aad02de6f
|
@ -0,0 +1 @@
|
||||||
|
(lang dune 1.0)
|
|
@ -0,0 +1 @@
|
||||||
|
(lang dune 1.0)
|
|
@ -1,7 +1,6 @@
|
||||||
fallback isn't allowed in dune
|
fallback isn't allowed in dune
|
||||||
|
|
||||||
$ dune build --root dune1
|
$ dune build --root dune1
|
||||||
Info: creating file dune-project with this contents: (lang dune 1.0)
|
|
||||||
File "dune", line 2, characters 1-11:
|
File "dune", line 2, characters 1-11:
|
||||||
Error: 'fallback' was renamed to '(mode fallback)' in the 1.0 version of the dune language
|
Error: 'fallback' was renamed to '(mode fallback)' in the 1.0 version of the dune language
|
||||||
[1]
|
[1]
|
||||||
|
@ -9,7 +8,6 @@ fallback isn't allowed in dune
|
||||||
2nd fallback form isn't allowed either
|
2nd fallback form isn't allowed either
|
||||||
|
|
||||||
$ dune build --root dune2
|
$ dune build --root dune2
|
||||||
Info: creating file dune-project with this contents: (lang dune 1.0)
|
|
||||||
File "dune", line 2, characters 1-17:
|
File "dune", line 2, characters 1-17:
|
||||||
Error: 'fallback' was renamed to '(mode fallback)' in the 1.0 version of the dune language
|
Error: 'fallback' was renamed to '(mode fallback)' in the 1.0 version of the dune language
|
||||||
[1]
|
[1]
|
||||||
|
|
|
@ -0,0 +1 @@
|
||||||
|
(lang dune 1.0)
|
|
@ -2,7 +2,6 @@ we're getting an acceptable error message when adding a macro form in an
|
||||||
inappropariate place:
|
inappropariate place:
|
||||||
|
|
||||||
$ dune build
|
$ dune build
|
||||||
Info: creating file dune-project with this contents: (lang dune 1.0)
|
|
||||||
File "dune", line 1, characters 14-21:
|
File "dune", line 1, characters 14-21:
|
||||||
Error: %{read:..} isn't allowed in this position
|
Error: %{read:..} isn't allowed in this position
|
||||||
[1]
|
[1]
|
||||||
|
|
|
@ -0,0 +1 @@
|
||||||
|
(lang dune 1.0)
|
|
@ -1,6 +1,5 @@
|
||||||
$ echo '(jbuild_version 1)' > dune
|
$ echo '(jbuild_version 1)' > dune
|
||||||
$ dune build
|
$ dune build
|
||||||
Info: creating file dune-project with this contents: (lang dune 1.0)
|
|
||||||
File "dune", line 1, characters 0-18:
|
File "dune", line 1, characters 0-18:
|
||||||
Error: 'jbuild_version' was deleted in version 1.0 of the dune language
|
Error: 'jbuild_version' was deleted in version 1.0 of the dune language
|
||||||
[1]
|
[1]
|
||||||
|
|
|
@ -43,7 +43,6 @@ a bit hard to test since it requires mocking more than one context. But we can
|
||||||
see how we can set a "native" target. Which is the default.
|
see how we can set a "native" target. Which is the default.
|
||||||
|
|
||||||
$ dune exec ./foo.exe --root targets-native
|
$ dune exec ./foo.exe --root targets-native
|
||||||
Info: creating file dune-project with this contents: (lang dune 1.0)
|
|
||||||
Entering directory 'targets-native'
|
Entering directory 'targets-native'
|
||||||
Entering directory 'targets-native'
|
Entering directory 'targets-native'
|
||||||
message from targets-native test
|
message from targets-native test
|
||||||
|
|
|
@ -0,0 +1 @@
|
||||||
|
(lang dune 1.0)
|
Loading…
Reference in New Issue