summaryrefslogtreecommitdiffstats
path: root/ocamlbuild/test/test3
diff options
context:
space:
mode:
Diffstat (limited to 'ocamlbuild/test/test3')
-rw-r--r--ocamlbuild/test/test3/_tags1
-rw-r--r--ocamlbuild/test/test3/a.ml1
-rw-r--r--ocamlbuild/test/test3/a.mli1
-rw-r--r--ocamlbuild/test/test3/b.ml1
-rw-r--r--ocamlbuild/test/test3/b.mli1
-rw-r--r--ocamlbuild/test/test3/c.ml1
-rw-r--r--ocamlbuild/test/test3/c.mli1
-rw-r--r--ocamlbuild/test/test3/d.ml1
-rw-r--r--ocamlbuild/test/test3/d.mli1
-rw-r--r--ocamlbuild/test/test3/e.ml1
-rw-r--r--ocamlbuild/test/test3/e.mli1
-rw-r--r--ocamlbuild/test/test3/f.ml2
-rw-r--r--ocamlbuild/test/test3/f.mli1
-rw-r--r--ocamlbuild/test/test3/proj.odocl1
-rwxr-xr-xocamlbuild/test/test3/test.sh11
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