From 526c1eef397bf1f5d3ed29c92b2d905f1a3f7ed5 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 16 Feb 2018 19:58:11 +0700 Subject: [PATCH] Test to reproduce bug with duplicate mld's in same package Odoc doesn't actually allow this so this test will turn into an error later on. --- test/blackbox-tests/jbuild | 10 ++++++++++ .../test-cases/odoc-unique-mlds/lib1/jbuild | 5 +++++ .../test-cases/odoc-unique-mlds/lib1/test.mld | 0 .../test-cases/odoc-unique-mlds/lib2/jbuild | 5 +++++ .../test-cases/odoc-unique-mlds/lib2/test.mld | 0 .../test-cases/odoc-unique-mlds/root.opam | 0 .../test-cases/odoc-unique-mlds/run.t | 16 ++++++++++++++++ 7 files changed, 36 insertions(+) create mode 100644 test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/jbuild create mode 100644 test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/test.mld create mode 100644 test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/jbuild create mode 100644 test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/test.mld create mode 100644 test/blackbox-tests/test-cases/odoc-unique-mlds/root.opam create mode 100644 test/blackbox-tests/test-cases/odoc-unique-mlds/run.t diff --git a/test/blackbox-tests/jbuild b/test/blackbox-tests/jbuild index 11e912a7..8aa5fe21 100644 --- a/test/blackbox-tests/jbuild +++ b/test/blackbox-tests/jbuild @@ -338,3 +338,13 @@ (progn (run ${exe:cram.exe} run.t) (diff? run.t run.t.corrected)))))))) + +(alias + ((name runtest) + (deps ((files_recursively_in test-cases/odoc-unique-mlds))) + (action + (chdir test-cases/odoc-unique-mlds + (setenv JBUILDER ${bin:jbuilder} + (progn + (run ${exe:cram.exe} -ocamlv ${ocaml_version} -skip-versions 4.02.3 run.t) + (diff? run.t run.t.corrected))))))) diff --git a/test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/jbuild b/test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/jbuild new file mode 100644 index 00000000..5d1729dd --- /dev/null +++ b/test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/jbuild @@ -0,0 +1,5 @@ +(jbuild_version 1) + +(library + ((name root_lib1) + (public_name root.lib1))) diff --git a/test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/test.mld b/test/blackbox-tests/test-cases/odoc-unique-mlds/lib1/test.mld new file mode 100644 index 00000000..e69de29b diff --git a/test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/jbuild b/test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/jbuild new file mode 100644 index 00000000..e32ea1bc --- /dev/null +++ b/test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/jbuild @@ -0,0 +1,5 @@ +(jbuild_version 1) + +(library + ((name root_lib2) + (public_name root.lib2))) diff --git a/test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/test.mld b/test/blackbox-tests/test-cases/odoc-unique-mlds/lib2/test.mld new file mode 100644 index 00000000..e69de29b diff --git a/test/blackbox-tests/test-cases/odoc-unique-mlds/root.opam b/test/blackbox-tests/test-cases/odoc-unique-mlds/root.opam new file mode 100644 index 00000000..e69de29b diff --git a/test/blackbox-tests/test-cases/odoc-unique-mlds/run.t b/test/blackbox-tests/test-cases/odoc-unique-mlds/run.t new file mode 100644 index 00000000..b7990c13 --- /dev/null +++ b/test/blackbox-tests/test-cases/odoc-unique-mlds/run.t @@ -0,0 +1,16 @@ + $ $JBUILDER build @doc -j1 --display short --root . + odoc _doc/odoc.css + odoc _doc/root.lib1/page-index.odoc + odoc _doc/root.lib1/page-test.odoc + ocamlc lib1/.root_lib1.objs/root_lib1.{cmi,cmo,cmt} + odoc _doc/root.lib2/page-index.odoc + odoc _doc/root.lib2/page-test.odoc + ocamlc lib2/.root_lib2.objs/root_lib2.{cmi,cmo,cmt} + odoc _doc/root.lib1/root_lib1.odoc + odoc _doc/root.lib2/root_lib2.odoc + odoc _doc/root.lib1/index.html + odoc _doc/root.lib1/test.html + odoc _doc/root.lib1/Root_lib1/.jbuilder-keep,_doc/root.lib1/Root_lib1/index.html + odoc _doc/root.lib2/index.html + odoc _doc/root.lib2/test.html + odoc _doc/root.lib2/Root_lib2/.jbuilder-keep,_doc/root.lib2/Root_lib2/index.html