Frama-C

blocks (via constant strings)

internal mode

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

(removal of field return_stmt)

- If FRAMAC_SHARE is not already set, either frama-c -print-share-path
  gives a correct result, and there's no need to set FRAMAC_SHARE in the
  first place, or it does not, and putting this result in FRAMAC_SHARE
  won't do any good.
- there's no need (and it seems to confuse Frama-C) to -add-path when in
  internal mode.

- Declare explicitely the presence of tests/print.ml
- Compile it as dependency of `ptest_config` rather than
  `E_ACSL_TESTS` (in the latter case, they might not be compiled when
  `ptests` is launched, because `ptests` is launched by
  `E_ACSL_DEFAULT_TESTS` which is itself a dependency of `E_ACSL_TESTS`).

Needed for changes introduced by frama-c/frama-c!930

    in Frama-C). Prefix library variables with EACSL prefix.

clean

[Makefile] Renamed e-acsl-runtime and e-acsl-reject test directories to runtime and reject respectively

Frama-C variables

contrib libraries