diff options
Diffstat (limited to 'ocaml-binary-annot/ocamlbuild/test/test3')
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/_tags | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/a.ml | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/a.mli | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/b.ml | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/b.mli | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/c.ml | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/c.mli | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/d.ml | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/d.mli | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/e.ml | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/e.mli | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/f.ml | 2 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/f.mli | 1 | ||||
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/test/test3/proj.odocl | 1 | ||||
| -rwxr-xr-x | ocaml-binary-annot/ocamlbuild/test/test3/test.sh | 11 |
15 files changed, 26 insertions, 0 deletions
diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/_tags b/ocaml-binary-annot/ocamlbuild/test/test3/_tags new file mode 100644 index 0000000000..4505f13fda --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/_tags @@ -0,0 +1 @@ +"a.byte" or "a.native": use_unix diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/a.ml b/ocaml-binary-annot/ocamlbuild/test/test3/a.ml new file mode 100644 index 0000000000..d4586eae7b --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/a.ml @@ -0,0 +1 @@ +module X = B diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/a.mli b/ocaml-binary-annot/ocamlbuild/test/test3/a.mli new file mode 100644 index 0000000000..c17617a6e8 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/a.mli @@ -0,0 +1 @@ +(* Nothing *) diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/b.ml b/ocaml-binary-annot/ocamlbuild/test/test3/b.ml new file mode 100644 index 0000000000..58c510c1e4 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/b.ml @@ -0,0 +1 @@ +module X = C diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/b.mli b/ocaml-binary-annot/ocamlbuild/test/test3/b.mli new file mode 100644 index 0000000000..5eea480960 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/b.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/c.ml b/ocaml-binary-annot/ocamlbuild/test/test3/c.ml new file mode 100644 index 0000000000..06f0fd9185 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/c.ml @@ -0,0 +1 @@ +module X = D diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/c.mli b/ocaml-binary-annot/ocamlbuild/test/test3/c.mli new file mode 100644 index 0000000000..5eea480960 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/c.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/d.ml b/ocaml-binary-annot/ocamlbuild/test/test3/d.ml new file mode 100644 index 0000000000..42ab724240 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/d.ml @@ -0,0 +1 @@ +module X = E diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/d.mli b/ocaml-binary-annot/ocamlbuild/test/test3/d.mli new file mode 100644 index 0000000000..5eea480960 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/d.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/e.ml b/ocaml-binary-annot/ocamlbuild/test/test3/e.ml new file mode 100644 index 0000000000..863ea00c87 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/e.ml @@ -0,0 +1 @@ +module X = F diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/e.mli b/ocaml-binary-annot/ocamlbuild/test/test3/e.mli new file mode 100644 index 0000000000..5eea480960 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/e.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/f.ml b/ocaml-binary-annot/ocamlbuild/test/test3/f.ml new file mode 100644 index 0000000000..00915fdc1b --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/f.ml @@ -0,0 +1,2 @@ +(* nothing *) +let _ = Unix.stat diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/f.mli b/ocaml-binary-annot/ocamlbuild/test/test3/f.mli new file mode 100644 index 0000000000..5eea480960 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/f.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/proj.odocl b/ocaml-binary-annot/ocamlbuild/test/test3/proj.odocl new file mode 100644 index 0000000000..532c720382 --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/proj.odocl @@ -0,0 +1 @@ +A B C D E F diff --git a/ocaml-binary-annot/ocamlbuild/test/test3/test.sh b/ocaml-binary-annot/ocamlbuild/test/test3/test.sh new file mode 100755 index 0000000000..396aaf2aaf --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/test/test3/test.sh @@ -0,0 +1,11 @@ +#!/bin/sh +cd `dirname $0` +set -e +set -x +CMDOTPS="" # -- command args +BUILD="../../_build/ocamlbuild.native a.byte a.native proj.docdir/index.html -no-skip -classic-display $@" +BUILD1="$BUILD $CMDOPTS" +BUILD2="$BUILD -verbose 0 -nothing-should-be-rebuilt $CMDOPTS" +rm -rf _build +$BUILD1 +$BUILD2 |