matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added a reproduction case for #644

This commit is contained in:
Jeremie Dimino 2018-03-27 14:05:03 -04:00
parent 9aba597f5f
commit 103af8627c
4 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
test/blackbox-tests/jbuild
View File

@ -420,7 +420,6 @@
(run ${exe:cram.exe} run.t)
(diff? run.t run.t.corrected)))))))
(alias
((name runtest)
(deps ((files_recursively_in test-cases/private-public-overlap)))
@ -450,3 +449,13 @@
(progn
(run ${exe:cram.exe} run.t)
(diff? run.t run.t.corrected)))))))
(alias
((name runtest)
(deps ((files_recursively_in test-cases/github644)))
(action
(chdir test-cases/github644
(setenv JBUILDER ${bin:jbuilder}
(progn
(run ${exe:cram.exe} run.t)
(diff? run.t run.t.corrected)))))))

1
test/blackbox-tests/test-cases/github644/foo.ml Normal file
View File

@ -0,0 +1 @@
let x = 42

4
test/blackbox-tests/test-cases/github644/jbuild Normal file
View File

@ -0,0 +1,4 @@
(library
((name foo)
(inline_tests)
(preprocess (pps (ppx_that_doesn't_exist)))))

9
test/blackbox-tests/test-cases/github644/run.t Normal file
View File

@ -0,0 +1,9 @@
$ $JBUILDER runtest --root . -j 1 --display quiet
File "jbuild", line 4, characters 20-42:
Error: Library "ppx_that_doesn't_exist" not found.
Hint: try: jbuilder external-lib-deps --missing --root . @runtest
[1]
This should print something:
$ $JBUILDER external-lib-deps --root . -j 1 --display quiet --missing @runtest