Ada - Versionsgeschichte

Juewei: /* Ubuntu 20.04 */

2023-02-20T23:24:57Z

Ubuntu 20.04

← Nächstältere Version		Version vom 21. Februar 2023, 01:24 Uhr
Zeile 38:		Zeile 38:
	Statt dessen wird benötigt:		Statt dessen wird benötigt:

	sudo apt install gnat kate		sudo apt install gnat make kate

	== Framework ==		== Framework ==

Juewei: /usr/bin/i686-linux-gnu-gcc ist überspezifiziert. Einfach nur gcc funktioniert auf allen Architekturen.

2023-02-20T23:16:40Z

/usr/bin/i686-linux-gnu-gcc ist überspezifiziert. Einfach nur gcc funktioniert auf allen Architekturen.

← Nächstältere Version		Version vom 21. Februar 2023, 01:16 Uhr
Zeile 192:		Zeile 192:
	0028: # ############################################################################		0028: # ############################################################################
	0029:		0029:
	0030: GNAT = ~~/usr/bin/i686-linux-gnu-~~gcc		0030: GNAT = gcc
	0031: GNATBIND = ~~/usr/bin/i686-linux-gnu-~~gnatbind		0031: GNATBIND = gnatbind
	0032: GNATLINK = ~~/usr/bin/i686-linux-gnu-~~gnatlink		0032: GNATLINK = gnatlink
	0033:		0033:
	0034: FOLDERS = work \		0034: FOLDERS = work \
Zeile 256:		Zeile 256:
	0091:		0091:
	\|}		\|}





	= Liste von Standard-Bibliotheken =		= Liste von Standard-Bibliotheken =

Juewei: /* Debian (Linux) */

2023-02-20T23:13:21Z

Debian (Linux)

← Nächstältere Version		Version vom 21. Februar 2023, 01:13 Uhr
Zeile 31:		Zeile 31:
	\| 4 \|\| gnat-6 (6.3.0-18+deb9u1) \|\| gnat-8 (8.3.0-6) \|\| gnat-10 (10.2.1-6)		\| 4 \|\| gnat-6 (6.3.0-18+deb9u1) \|\| gnat-8 (8.3.0-6) \|\| gnat-10 (10.2.1-6)
	\|}		\|}


			=== Ubuntu 20.04 ===

			Ubuntu 20.04 (oder Linux Mint 20.3) basieren zwar auf Debian bullseye, funktionieren aber nicht mit den oben genannten Paketen.
			Statt dessen wird benötigt:

			sudo apt install gnat kate

	== Framework ==		== Framework ==

Christoph: /* FLEF */

2023-01-01T01:18:12Z

FLEF

← Nächstältere Version		Version vom 1. Januar 2023, 03:18 Uhr
Zeile 306:		Zeile 306:


	Stand: ~~2022_1231~~		Stand: 2023_0101

	= Links und Quellen =		= Links und Quellen =

Christoph: /* Ada */

2023-01-01T01:02:56Z

Ada

← Nächstältere Version		Version vom 1. Januar 2023, 03:02 Uhr
Zeile 265:		Zeile 265:
	\| Ada.Command_Line \|\|		\| Ada.Command_Line \|\|
	Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>		Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>

			\|-
			\| Ada.Text_IO \|\|
			Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>

	\|-		\|-
	\| Ada.Numerics \|\|		\| Ada.Numerics \|\|
	Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>		Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>

	\|-
	~~\| Ada.Text_IO \|\|~~
	~~Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>~~

	\|-		\|-
Zeile 281:		Zeile 281:
	\| ... \|\| ...		\| ... \|\| ...
	\|}		\|}


	== GNAT ==		== GNAT ==

Christoph: /* Liste von Standard-Bibliotheken */

2023-01-01T01:01:57Z

Liste von Standard-Bibliotheken

@@ Zeile 256: / Zeile 256: @@
 == Ada ==
 {| class="wikitable"
@@ Zeile 285: / Zeile 284: @@
 == GNAT ==

Christoph: /* Liste von Standard-Bibliotheken */

2023-01-01T00:47:46Z

Liste von Standard-Bibliotheken

← Nächstältere Version		Version vom 1. Januar 2023, 02:47 Uhr
Zeile 254:		Zeile 254:

	= Liste von Standard-Bibliotheken =		= Liste von Standard-Bibliotheken =

			== Ada ==


	{\| class="wikitable"		{\| class="wikitable"
	\|+ Liste von Standard-Bibliotheken		\|+ Liste von Standard-Bibliotheken
	\|-		\|-
	! Name der Bibliotheken ~~!! FLEF-Abstraktion~~ !! Beschreibung		! Name der Bibliotheken !! Beschreibung

	\|-		\|-
	\| Ada.Command_Line ~~\|\| ...~~ \|\|		\| Ada.Command_Line \|\|
	Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>		Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>

	\|-		\|-
	\| Ada.Numerics ~~\|\| ...~~ \|\|		\| Ada.Numerics \|\|
	Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>		Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>

	\|-		\|-
	\| Ada.Text_IO ~~\|\| ...~~ \|\|		\| Ada.Text_IO \|\|
	Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>		Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>

	\|-		\|-
	\| Ada.Numerics.Generic_Elementary_Functions ~~\|\| ...~~ \|\|		\| Ada.Numerics.Generic_Elementary_Functions \|\|
	Dieses Paket stellt elementare mathematische Funktionen zur Verfügung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5-1.html</ref>		Dieses Paket stellt elementare mathematische Funktionen zur Verfügung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5-1.html</ref>

	\|-		\|-
	~~\| ... \|~~\| ... \|\| ...		\| ... \|\| ...
	\|}		\|}


			== GNAT ==


			== FLEF ==

Christoph: /* Liste von Standard-Bibliotheken */

2023-01-01T00:43:45Z

Liste von Standard-Bibliotheken

← Nächstältere Version		Version vom 1. Januar 2023, 02:43 Uhr
Zeile 271:		Zeile 271:
	\| Ada.Text_IO \|\| ... \|\|		\| Ada.Text_IO \|\| ... \|\|
	Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>		Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>

			\|-
			\| Ada.Numerics.Generic_Elementary_Functions \|\| ... \|\|
			Dieses Paket stellt elementare mathematische Funktionen zur Verfügung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5-1.html</ref>

	\|-		\|-

Christoph: /* Liste von Standard-Bibliotheken */

2023-01-01T00:41:19Z

Liste von Standard-Bibliotheken

← Nächstältere Version		Version vom 1. Januar 2023, 02:41 Uhr
Zeile 261:		Zeile 261:

	\|-		\|-
	\| Ada.Command_Line \|\| ... \|\| Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung.		\| Ada.Command_Line \|\| ... \|\|
	<ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>		Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>

	\|-		\|-
	\| Ada.Numerics \|\| ... \|\|		\| Ada.Numerics \|\| ... \|\|
	Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen.		Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>
	<ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>
			\|-
			\| Ada.Text_IO \|\| ... \|\|
			Dieses Paket ermöglicht das Zugreifen in Dateien. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-10-1.html</ref>

	\|-		\|-

Christoph: /* Liste von Standard-Bibliotheken */

2023-01-01T00:37:34Z

Liste von Standard-Bibliotheken

← Nächstältere Version		Version vom 1. Januar 2023, 02:37 Uhr
Zeile 259:		Zeile 259:
	\|-		\|-
	! Name der Bibliotheken !! FLEF-Abstraktion !! Beschreibung		! Name der Bibliotheken !! FLEF-Abstraktion !! Beschreibung

	\|-		\|-
	\| Ada.Command_Line \|\| ... \|\| Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung. <ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>		\| Ada.Command_Line \|\| ... \|\| Dieses Paket ermöglicht das Auslesen der Kommandozeilen-Argumente, welche dem Programm beim Start in im Terminal beigefügt wurden. Zu dem ermöglicht die Bibliothek das Setzten der Exit-Kodierung.
			<ref>http://www.ada-auth.org/standards/12rm/html/RM-A-15.html</ref>

	\|-		\|-
	\| ... \|\| ... \|\| ...		\| Ada.Numerics \|\| ... \|\|
			Diese Bibliothek ist ein Eltern-Paket für zahlreiche Bibliotheken zur Behandlung nummerischer Operationen.
			<ref>http://www.ada-auth.org/standards/12rm/html/RM-A-5.html</ref>

	\|-		\|-
	\| ... \|\| ... \|\| ...		\| ... \|\| ... \|\| ...