*** There are two new commands:
- `ada-make-local' : invokes gnatmake on the current buffer
- `ada-check-syntax' : check syntax of current buffer.
The user options `ada-compiler-make', `ada-make-options', `ada-language-version', `ada-compiler-syntax-check', and `ada-compile-options' are used within these commands.