Ada
languages.ada.enable
Whether to enable tools for Ada development.
Type: boolean
Default:
false
Example:
true
languages.ada.package
The GNAT compiler package to use.
Type: package
Default:
gnat${languages.ada.version}
languages.ada.dev.enable
Enable Ada development tools.
Type: boolean
Default:
true
languages.ada.dev.aws.enable
Enable Ada Web Server (AWS) library.
Type: boolean
Default:
false
languages.ada.dev.aws.package
The AWS package to use (if available).
Type: null or package
Default:
gnat${languages.ada.version}Packages.aws or null
languages.ada.dev.debugger.enable
Enable gdb debugger.
Type: boolean
Default:
true
languages.ada.dev.debugger.package
The GDB package to use.
Type: package
Default:
pkgs.gdb
languages.ada.dev.gnatcoll.enable
Enable gnatcoll-core libraries.
Type: boolean
Default:
true
languages.ada.dev.gnatcoll.package
The GNATCOLL core package to use.
Type: package
Default:
gnat${languages.ada.version}Packages.gnatcoll-core
languages.ada.dev.gnatcoll-bindings.enable
Enable additional GNATCOLL bindings (database, compression, etc.).
Type: boolean
Default:
false
languages.ada.dev.gnatcoll-bindings.packages
Additional GNATCOLL binding packages to include.
Type: list of package
Default:
with gnat${languages.ada.version}Packages; [
gnatcoll-sql gnatcoll-sqlite gnatcoll-postgres
gnatcoll-gmp gnatcoll-zlib gnatcoll-lzma
gnatcoll-readline gnatcoll-iconv gnatcoll-python3
gnatcoll-syslog gnatcoll-omp
]
languages.ada.dev.gpr2.enable
Enable GPR2 library (next-generation GPR library).
Type: boolean
Default:
false
languages.ada.dev.gpr2.package
The GPR2 package to use (if available).
Type: null or package
Default:
gnat${languages.ada.version}Packages.gpr2 or null
languages.ada.dev.gprbuild.enable
Enable gprbuild build tool.
Type: boolean
Default:
true
languages.ada.dev.gprbuild.package
The GPRbuild package to use.
Type: package
Default:
gnat${languages.ada.version}Packages.gprbuild
languages.ada.dev.lsp.enable
Enable ada-language-server language server.
Type: boolean
Default:
false
languages.ada.dev.lsp.package
The Ada Language Server package to use (if available).
Type: null or package
Default:
pkgs.ada_language_server or null
languages.ada.dev.spark.enable
Enable SPARK formal verification tools (if available).
Type: boolean
Default:
false
languages.ada.dev.spark.package
The SPARK/gnatprove package to use (if available).
Type: null or package
Default:
gnat${languages.ada.version}Packages.gnatprove or null
languages.ada.dev.xmlada.enable
Enable XMLAda XML processing library.
Type: boolean
Default:
false
languages.ada.dev.xmlada.package
The XMLAda package to use (if available).
Type: null or package
Default:
gnat${languages.ada.version}Packages.xmlada or null
languages.ada.extraPackages
Additional Ada packages to include in the environment.
Type: list of package
Default:
[ ]
languages.ada.version
The GNAT compiler version to use.
GNAT 13 is the latest and recommended version for new projects. GNAT 12 provides a stable alternative for legacy compatibility.
Type: one of “12”, “13”
Default:
"13"