Ada: Difference between revisions
Tomodachi94 (talk | contribs) m minor cleanup |
Tomodachi94 (talk | contribs) copyedit, add lead section |
||
Line 1: | Line 1: | ||
[https://ada-lang.io/ Ada] is a programming language. | |||
The GNAT Ada toolchain is fully packaged in | == Building programs == | ||
=== GNAT === | |||
The GNAT Ada toolchain is fully packaged in [[Nixpkgs]] and can be used to build software. It has a bit less convenience than typical [[C]]/[[C++]] toolchains due to its small user base. A simple Ada program using GPR can be built as follows: | |||
<syntaxHighlight lang="nix"> | <syntaxHighlight lang="nix"> | ||
Line 43: | Line 46: | ||
</syntaxHighlight> | </syntaxHighlight> | ||
== Building | ==== Building static binaries ==== | ||
If you try to build static binaries, you need to add the static version of libc manually. For this, add <code>glibc</code> to the derivation parameters (at the top) and add the following to the derivation itself. | If you try to build static binaries, you need to add the static version of libc manually. For this, add <code>glibc</code> to the derivation parameters (at the top) and add the following to the derivation itself. |