Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago

  internal: use of hdrck for targets headers, check-headers and src-distrib
  external: reviewed target headers

- Disable on non-POSIX OSes
- Disable on anything that is not Linux or some BSD variant (excluding Darwin)
- Do not run extra checks if plug-in disabled

debug features in instrumented executables at runtime

This option allows to specify debug or production build of E-ACSL
runtime library.

internal mode

distribution of the GMP library (mini-gmp) and the full GMP library at
build time