diff options
Diffstat (limited to 'ocamlbuild/test/test5')
-rw-r--r-- | ocamlbuild/test/test5/_tags | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test5/a.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test5/a.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test5/b.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test5/c.mlpack | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test5/d.ml | 1 | ||||
-rwxr-xr-x | ocamlbuild/test/test5/test.sh | 11 |
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 |