Ada: Difference between revisions
imported>Blitz Add a link to an Ada example. |
Tomodachi94 (talk | contribs) m minor cleanup |
||
| Line 3: | Line 3: | ||
The GNAT Ada toolchain is fully packaged in NixOS 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: | The GNAT Ada toolchain is fully packaged in NixOS 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"> | ||
{ stdenv, gnat, gprbuild, glibc }: | { stdenv, gnat, gprbuild, glibc }: | ||
| Line 45: | Line 45: | ||
== Building Static Binaries == | == Building Static Binaries == | ||
If you try to build static binaries, you need to add the static version of libc manually. For this add < | 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. | ||
<syntaxHighlight lang=nix> | <syntaxHighlight lang="nix"> | ||
buildInputs = [ | buildInputs = [ | ||
glibc.static | glibc.static | ||
| Line 53: | Line 53: | ||
</syntaxHighlight> | </syntaxHighlight> | ||
There is an example on [https://github.com/blitz/adahello | There is an example on [https://github.com/blitz/adahello GitHub]. | ||