Skip to content

Instantly share code, notes, and snippets.

@warrenrentlytics

warrenrentlytics/gist:759734b99512954b2ee0930ffee371a2

Created October 3, 2018 23:56
Show Gist options
  • Save warrenrentlytics/759734b99512954b2ee0930ffee371a2 to your computer and use it in GitHub Desktop.
Save warrenrentlytics/759734b99512954b2ee0930ffee371a2 to your computer and use it in GitHub Desktop.
Download ZIP
sample Ada flags
Raw
gistfile1.txt
gnatmake -Wall -Wextra -Wshadow -Werror -Wfatal-errors -pedantic -m64 -Wcast-align -Wstrict-overflow=5 -Winline -Wshadow -Wstrict-aliasing=2 -O3 -gnatp main.adb
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment