Header Testing - in the build system #269
Open
+203
−8
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
AC_PROG_CXX has to occur before LT_INIT to prevent this error:
warning: AC_REQUIRE: `AC_PROG_CXX' was expanded before it was required
https://www.gnu.org/software/autoconf/manual/autoconf.html#Expanded-Before-Required
It seems to be impossible (or too difficult) to enable this check
conditionally, based on whether ocamltest was enabled or not.
dra27
added
no-change-entry-needed
dra27
force-pushed
the
header-testing
branch
6 times, most recently
from
f21a839 to
6e4a88f
Compare
All of the headers in caml directories (i.e. the headers which get installed) are tested in a both a C and, if a compiler is available, C++ file which #include's just that file. The compiler is run with extra/pedantic warnings, but with CAML_INTERNALS not defined. This tests: 1. That each header can be #include'd without prerequisites 2. That the public API of the runtime can be used both in C++ programs and also in C programs compiled with more warnings enabled than the runtime itself is compiled with 3. That each header can be #include'd twice without error
dra27
force-pushed
the
header-testing
branch
2 times, most recently
from
d86154b to
d1a67d6
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.