diff options
Diffstat (limited to 'ocamlbuild/test/test3')
-rw-r--r-- | ocamlbuild/test/test3/_tags | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/a.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/a.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/b.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/b.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/c.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/c.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/d.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/d.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/e.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/e.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/f.ml | 2 | ||||
-rw-r--r-- | ocamlbuild/test/test3/f.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test3/proj.odocl | 1 | ||||
-rwxr-xr-x | ocamlbuild/test/test3/test.sh | 11 |
15 files changed, 26 insertions, 0 deletions
diff --git a/ocamlbuild/test/test3/_tags b/ocamlbuild/test/test3/_tags new file mode 100644 index 000000000..4505f13fd --- /dev/null +++ b/ocamlbuild/test/test3/_tags @@ -0,0 +1 @@ +"a.byte" or "a.native": use_unix diff --git a/ocamlbuild/test/test3/a.ml b/ocamlbuild/test/test3/a.ml new file mode 100644 index 000000000..d4586eae7 --- /dev/null +++ b/ocamlbuild/test/test3/a.ml @@ -0,0 +1 @@ +module X = B diff --git a/ocamlbuild/test/test3/a.mli b/ocamlbuild/test/test3/a.mli new file mode 100644 index 000000000..c17617a6e --- /dev/null +++ b/ocamlbuild/test/test3/a.mli @@ -0,0 +1 @@ +(* Nothing *) diff --git a/ocamlbuild/test/test3/b.ml b/ocamlbuild/test/test3/b.ml new file mode 100644 index 000000000..58c510c1e --- /dev/null +++ b/ocamlbuild/test/test3/b.ml @@ -0,0 +1 @@ +module X = C diff --git a/ocamlbuild/test/test3/b.mli b/ocamlbuild/test/test3/b.mli new file mode 100644 index 000000000..5eea48096 --- /dev/null +++ b/ocamlbuild/test/test3/b.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocamlbuild/test/test3/c.ml b/ocamlbuild/test/test3/c.ml new file mode 100644 index 000000000..06f0fd918 --- /dev/null +++ b/ocamlbuild/test/test3/c.ml @@ -0,0 +1 @@ +module X = D diff --git a/ocamlbuild/test/test3/c.mli b/ocamlbuild/test/test3/c.mli new file mode 100644 index 000000000..5eea48096 --- /dev/null +++ b/ocamlbuild/test/test3/c.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocamlbuild/test/test3/d.ml b/ocamlbuild/test/test3/d.ml new file mode 100644 index 000000000..42ab72424 --- /dev/null +++ b/ocamlbuild/test/test3/d.ml @@ -0,0 +1 @@ +module X = E diff --git a/ocamlbuild/test/test3/d.mli b/ocamlbuild/test/test3/d.mli new file mode 100644 index 000000000..5eea48096 --- /dev/null +++ b/ocamlbuild/test/test3/d.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocamlbuild/test/test3/e.ml b/ocamlbuild/test/test3/e.ml new file mode 100644 index 000000000..863ea00c8 --- /dev/null +++ b/ocamlbuild/test/test3/e.ml @@ -0,0 +1 @@ +module X = F diff --git a/ocamlbuild/test/test3/e.mli b/ocamlbuild/test/test3/e.mli new file mode 100644 index 000000000..5eea48096 --- /dev/null +++ b/ocamlbuild/test/test3/e.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocamlbuild/test/test3/f.ml b/ocamlbuild/test/test3/f.ml new file mode 100644 index 000000000..00915fdc1 --- /dev/null +++ b/ocamlbuild/test/test3/f.ml @@ -0,0 +1,2 @@ +(* nothing *) +let _ = Unix.stat diff --git a/ocamlbuild/test/test3/f.mli b/ocamlbuild/test/test3/f.mli new file mode 100644 index 000000000..5eea48096 --- /dev/null +++ b/ocamlbuild/test/test3/f.mli @@ -0,0 +1 @@ +(* nothing *) diff --git a/ocamlbuild/test/test3/proj.odocl b/ocamlbuild/test/test3/proj.odocl new file mode 100644 index 000000000..532c72038 --- /dev/null +++ b/ocamlbuild/test/test3/proj.odocl @@ -0,0 +1 @@ +A B C D E F diff --git a/ocamlbuild/test/test3/test.sh b/ocamlbuild/test/test3/test.sh new file mode 100755 index 000000000..396aaf2aa --- /dev/null +++ b/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 |