diff options
Diffstat (limited to 'ocamlbuild/test/test4')
-rw-r--r-- | ocamlbuild/test/test4/_tags | 2 | ||||
-rw-r--r-- | ocamlbuild/test/test4/a/aa.ml | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test4/a/aa.mli | 1 | ||||
-rw-r--r-- | ocamlbuild/test/test4/b/bb.ml | 2 | ||||
-rwxr-xr-x | ocamlbuild/test/test4/test.sh | 11 |
5 files changed, 17 insertions, 0 deletions
diff --git a/ocamlbuild/test/test4/_tags b/ocamlbuild/test/test4/_tags new file mode 100644 index 000000000..4b6e7986e --- /dev/null +++ b/ocamlbuild/test/test4/_tags @@ -0,0 +1,2 @@ +# a comment +"a/aa.byte" or "a/aa.native": use_str diff --git a/ocamlbuild/test/test4/a/aa.ml b/ocamlbuild/test/test4/a/aa.ml new file mode 100644 index 000000000..411d29bff --- /dev/null +++ b/ocamlbuild/test/test4/a/aa.ml @@ -0,0 +1 @@ +let bar = 3 + List.length Bb.foo diff --git a/ocamlbuild/test/test4/a/aa.mli b/ocamlbuild/test/test4/a/aa.mli new file mode 100644 index 000000000..20f3c52a8 --- /dev/null +++ b/ocamlbuild/test/test4/a/aa.mli @@ -0,0 +1 @@ +val bar : int diff --git a/ocamlbuild/test/test4/b/bb.ml b/ocamlbuild/test/test4/b/bb.ml new file mode 100644 index 000000000..031031fba --- /dev/null +++ b/ocamlbuild/test/test4/b/bb.ml @@ -0,0 +1,2 @@ +let r = Str.regexp "r" +let foo = [2.2] diff --git a/ocamlbuild/test/test4/test.sh b/ocamlbuild/test/test4/test.sh new file mode 100755 index 000000000..4b2580a8d --- /dev/null +++ b/ocamlbuild/test/test4/test.sh @@ -0,0 +1,11 @@ +#!/bin/sh +cd `dirname $0` +set -e +set -x +CMDOTPS="" # -- command args +BUILD="../../_build/ocamlbuild.native -I a -I b aa.byte aa.native -no-skip -classic-display $@" +BUILD1="$BUILD $CMDOPTS" +BUILD2="$BUILD -verbose 0 -nothing-should-be-rebuilt $CMDOPTS" +rm -rf _build +$BUILD1 +$BUILD2 |