summaryrefslogtreecommitdiffstats
path: root/ocamlbuild/test/test5
diff options
context:
space:
mode:
Diffstat (limited to 'ocamlbuild/test/test5')
-rw-r--r--ocamlbuild/test/test5/_tags1
-rw-r--r--ocamlbuild/test/test5/a.ml1
-rw-r--r--ocamlbuild/test/test5/a.mli1
-rw-r--r--ocamlbuild/test/test5/b.ml1
-rw-r--r--ocamlbuild/test/test5/c.mlpack1
-rw-r--r--ocamlbuild/test/test5/d.ml1
-rwxr-xr-xocamlbuild/test/test5/test.sh11
7 files changed, 17 insertions, 0 deletions
diff --git a/ocamlbuild/test/test5/_tags b/ocamlbuild/test/test5/_tags
new file mode 100644
index 000000000..2f66a28c1
--- /dev/null
+++ b/ocamlbuild/test/test5/_tags
@@ -0,0 +1 @@
+"a.cmx" or "b.cmx": for-pack(C)
diff --git a/ocamlbuild/test/test5/a.ml b/ocamlbuild/test/test5/a.ml
new file mode 100644
index 000000000..250900301
--- /dev/null
+++ b/ocamlbuild/test/test5/a.ml
@@ -0,0 +1 @@
+let a = 42
diff --git a/ocamlbuild/test/test5/a.mli b/ocamlbuild/test/test5/a.mli
new file mode 100644
index 000000000..3f79c8149
--- /dev/null
+++ b/ocamlbuild/test/test5/a.mli
@@ -0,0 +1 @@
+val a : int
diff --git a/ocamlbuild/test/test5/b.ml b/ocamlbuild/test/test5/b.ml
new file mode 100644
index 000000000..8db5ca3b8
--- /dev/null
+++ b/ocamlbuild/test/test5/b.ml
@@ -0,0 +1 @@
+let b = A.a + 1
diff --git a/ocamlbuild/test/test5/c.mlpack b/ocamlbuild/test/test5/c.mlpack
new file mode 100644
index 000000000..5decc2b6a
--- /dev/null
+++ b/ocamlbuild/test/test5/c.mlpack
@@ -0,0 +1 @@
+A B
diff --git a/ocamlbuild/test/test5/d.ml b/ocamlbuild/test/test5/d.ml
new file mode 100644
index 000000000..a5ec43298
--- /dev/null
+++ b/ocamlbuild/test/test5/d.ml
@@ -0,0 +1 @@
+Format.printf "C.B.b = %d@." C.B.b
diff --git a/ocamlbuild/test/test5/test.sh b/ocamlbuild/test/test5/test.sh
new file mode 100755
index 000000000..9d78f1991
--- /dev/null
+++ b/ocamlbuild/test/test5/test.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+cd `dirname $0`
+set -e
+set -x
+CMDOPTS="" # -- command args
+BUILD="../../_build/ocamlbuild.native d.byte d.native -no-skip -classic-display $@"
+BUILD1="$BUILD $CMDOPTS"
+BUILD2="$BUILD -verbose 0 -nothing-should-be-rebuilt $CMDOPTS"
+rm -rf _build
+$BUILD1
+$BUILD2