Ada - Revision history

Tomodachi94: categorize

2024-06-22T06:31:02Z

categorize

← Older revision		Revision as of 06:31, 22 June 2024
Line 57:		Line 57:

	There is an example on [https://github.com/blitz/adahello GitHub].		There is an example on [https://github.com/blitz/adahello GitHub].

			[[Category:Languages]]

Tomodachi94: copyedit, add lead section

2024-06-21T18:51:22Z

copyedit, add lead section

← Older revision		Revision as of 18:51, 21 June 2024
Line 1:		Line 1:
	= Ada ~~/ Gnat Support =~~		[https://ada-lang.io/ Ada] is a programming language.

	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:		== 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 ~~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 <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.

Tomodachi94: minor cleanup

2024-06-21T18:42:26Z

minor cleanup

← Older revision		Revision as of 18:42, 21 June 2024
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 <~~syntaxHighlight lang=nix~~>glibc</~~syntaxHighlight~~> 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.

	<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 ~~Github~~].		There is an example on [https://github.com/blitz/adahello GitHub].

imported>Blitz: Add a link to an Ada example.

2022-01-03T15:28:48Z

Add a link to an Ada example.

← Older revision		Revision as of 15:28, 3 January 2022
Line 52:		Line 52:
	];		];
	</syntaxHighlight>		</syntaxHighlight>

			There is an example on [https://github.com/blitz/adahello Github].

imported>Blitz: Add a page about compiling Ada programs

2022-01-03T14:51:12Z

Add a page about compiling Ada programs

New page

= Ada / Gnat Support =

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>
{ stdenv, gnat, gprbuild, glibc }:

stdenv.mkDerivation {
pname = "an-ada-program";
version = "1.2.3";

src = ...;

nativeBuildInputs = [
gprbuild
gnat
];

dontConfigure = true;

buildPhase = ''
runHook preBuild

gprbuild

runHook postBuild
'';

installPhase = ''
runHook preInstall

mkdir -p $out/bin

# Only install what we need to run the binary.
gprinstall --prefix=$out hello.gpr \
--no-project \
--no-manifest \
--mode=usage

runHook postInstall
'';
}
</syntaxHighlight>

== Building Static Binaries ==

If you try to build static binaries, you need to add the static version of libc manually. For this add <syntaxHighlight lang=nix>glibc</syntaxHighlight> to the derivation parameters (at the top) and add the following to the derivation itself.

<syntaxHighlight lang=nix>
buildInputs = [
glibc.static
];
</syntaxHighlight>