Merge pull request #1138 from rgrinberg/add-tests-stubs

Add tests for installed stubs artifacts
This commit is contained in:
Rudi Grinberg 2018-08-15 11:24:16 +03:00 committed by GitHub
commit 4dff1c3c8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 13 additions and 0 deletions

View File

@ -0,0 +1,4 @@
int foo () {
return 0;
}

View File

@ -0,0 +1,3 @@
int bar() {
return 0;
}

View File

@ -4,6 +4,8 @@
(install_c_headers cfoo)
(js_of_ocaml (javascript_files foo.js))
(wrapped false)
(c_names c)
(cxx_names cpp)
(public_name foo))
(library

View File

@ -27,6 +27,7 @@
"_build/install/default/lib/foo/foo.mli" {"foo.mli"}
"_build/install/default/lib/foo/foo.ml" {"foo.ml"}
"_build/install/default/lib/foo/foo.cma" {"foo.cma"}
"_build/install/default/lib/foo/libfoo_stubs$ext_lib" {"libfoo_stubs$ext_lib"}
"_build/install/default/lib/foo/foo.cmxa" {"foo.cmxa"}
"_build/install/default/lib/foo/foo$ext_lib" {"foo$ext_lib"}
"_build/install/default/lib/foo/foo.cmxs" {"foo.cmxs"}
@ -53,3 +54,6 @@
doc: [
"_build/install/default/doc/foo/odoc-pages/doc.mld" {"odoc-pages/doc.mld"}
]
stublibs: [
"_build/install/default/lib/stublibs/dllfoo_stubs$ext_dll"
]