From 103af8627c8ecefc8c932ba4694440aaad824696 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 27 Mar 2018 14:05:03 -0400 Subject: [PATCH] Added a reproduction case for #644 --- test/blackbox-tests/jbuild | 11 ++++++++++- test/blackbox-tests/test-cases/github644/foo.ml | 1 + test/blackbox-tests/test-cases/github644/jbuild | 4 ++++ test/blackbox-tests/test-cases/github644/run.t | 9 +++++++++ 4 files changed, 24 insertions(+), 1 deletion(-) create mode 100644 test/blackbox-tests/test-cases/github644/foo.ml create mode 100644 test/blackbox-tests/test-cases/github644/jbuild create mode 100644 test/blackbox-tests/test-cases/github644/run.t diff --git a/test/blackbox-tests/jbuild b/test/blackbox-tests/jbuild index d08c7d37..3aa3d015 100644 --- a/test/blackbox-tests/jbuild +++ b/test/blackbox-tests/jbuild @@ -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))))))) diff --git a/test/blackbox-tests/test-cases/github644/foo.ml b/test/blackbox-tests/test-cases/github644/foo.ml new file mode 100644 index 00000000..7fecab12 --- /dev/null +++ b/test/blackbox-tests/test-cases/github644/foo.ml @@ -0,0 +1 @@ +let x = 42 diff --git a/test/blackbox-tests/test-cases/github644/jbuild b/test/blackbox-tests/test-cases/github644/jbuild new file mode 100644 index 00000000..0bc84c74 --- /dev/null +++ b/test/blackbox-tests/test-cases/github644/jbuild @@ -0,0 +1,4 @@ +(library + ((name foo) + (inline_tests) + (preprocess (pps (ppx_that_doesn't_exist))))) diff --git a/test/blackbox-tests/test-cases/github644/run.t b/test/blackbox-tests/test-cases/github644/run.t new file mode 100644 index 00000000..d0ee2da7 --- /dev/null +++ b/test/blackbox-tests/test-cases/github644/run.t @@ -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