Ada - 版の履歴

Kgx: /* インストール */ 翻訳を修正

2024-01-04T15:50:10Z

インストール: 翻訳を修正

← 古い版		2024年1月5日 (金) 00:50時点における版
9行目:		9行目:
	追加パッケージ:		追加パッケージ:
	* {{AUR\|all-ada}} - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。		* {{AUR\|all-ada}} - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。
	* {{AUR\|adacurses}} - ''ncurses'' C ライブラリへの Ada バインディング。		* {{AUR\|adacurses}} - 'ncurses' C ライブラリへの Ada バインディング。
	* {{AUR\|adaogg}} - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。		* {{AUR\|adaogg}} - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。
	* {{AUR\|ada_language_server}} - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。		* {{AUR\|ada_language_server}} - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。
23行目:		23行目:
	* {{AUR\|gcc-ada-debug}} - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。		* {{AUR\|gcc-ada-debug}} - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。
	* GNATColl - GNAT コンポーネントのコレクション		* GNATColl - GNAT コンポーネントのコレクション
	** {{AUR\|gnatcoll-core}} or {{AUR\|gnatcoll-core-git}}		** {{AUR\|gnatcoll-core}} もしくは {{AUR\|gnatcoll-core-git}}
	** {{AUR\|gnatcoll-db2ada}}		** {{AUR\|gnatcoll-db2ada}}
	** {{AUR\|gnatcoll-gmp}} or {{AUR\|gnatcoll-gmp-git}}		** {{AUR\|gnatcoll-gmp}} もしくは {{AUR\|gnatcoll-gmp-git}}
	** {{AUR\|gnatcoll-iconv}} or {{AUR\|gnatcoll-iconv-git}}		** {{AUR\|gnatcoll-iconv}} もしくは {{AUR\|gnatcoll-iconv-git}}
	** {{AUR\|gnatcoll-gnatinspect}}		** {{AUR\|gnatcoll-gnatinspect}}
	** {{AUR\|gnatcoll-lzma}}		** {{AUR\|gnatcoll-lzma}}

Kgx: /* 参照 */ リンクを追加

2024-01-04T15:48:10Z

参照: リンクを追加

← 古い版		2024年1月5日 (金) 00:48時点における版
98行目:		98行目:
	* [https://en.wikibooks.org/wiki/Ada_Programming Ada Programming at Wikibooks]		* [https://en.wikibooks.org/wiki/Ada_Programming Ada Programming at Wikibooks]
	* [https://learn.adacore.com/ Interactive learning platform Learn.adacore.com]		* [https://learn.adacore.com/ Interactive learning platform Learn.adacore.com]
			* [[Wikipedia:SPARK (programming language)]]

	=== ツール ===		=== ツール ===
111行目:		112行目:
	* [https://docs.adacore.com/live/wave/aunit/html/aunit_cb/aunit_cb.html AUnit Cookbook]		* [https://docs.adacore.com/live/wave/aunit/html/aunit_cb/aunit_cb.html AUnit Cookbook]
	* [https://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/index.html GNAT Reusable Components]		* [https://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/index.html GNAT Reusable Components]
			* [https://docs.adacore.com/gtkada-docs/gtkada_ug/_build/html/index.html GtkAda User’s Guide]

Kgx: /* インストール */ 情報を更新

2024-01-04T15:46:24Z

インストール: 情報を更新

@@ 8行目: / 8行目: @@
 追加パッケージ:
 ** {{AUR|gnatcoll-db2ada}}
-** {{AUR|gnatcoll-gmp}}
+** {{AUR|gnatcoll-gmp}} or {{AUR|gnatcoll-gmp-git}}
-** {{AUR|gnatcoll-iconv}}
+** {{AUR|gnatcoll-iconv}} or {{AUR|gnatcoll-iconv-git}}
 ** {{AUR|gnatcoll-postgres}}
-** {{AUR|gnatcoll-python}}{{Broken package link|パッケージが存在しません}}
+** {{AUR|gnatcoll-python}}
 ** {{AUR|gnatcoll-readline}}
 ** {{AUR|gnatcoll-sql}}
 ** {{AUR|gnatcoll-sqlite}}
 ** {{AUR|gnatcoll-xref}}
 === インストールのテスト ===

Kusakata.bot2: Pkg/AUR テンプレートの更新

2020-12-31T05:42:41Z

Pkg/AUR テンプレートの更新

← 古い版		2020年12月31日 (木) 14:42時点における版
18行目:		18行目:
	** {{AUR\|gnatcoll-iconv}}		** {{AUR\|gnatcoll-iconv}}
	** {{AUR\|gnatcoll-postgres}}		** {{AUR\|gnatcoll-postgres}}
	** {{AUR\|gnatcoll-python}}		** {{AUR\|gnatcoll-python}}{{Broken package link\|パッケージが存在しません}}
	** {{AUR\|gnatcoll-readline}}		** {{AUR\|gnatcoll-readline}}
	** {{AUR\|gnatcoll-sql}}		** {{AUR\|gnatcoll-sql}}

Kusakata: ページの作成:「Category:プログラミング言語 en:Ada [https://www.adaic.org/ Ada] は汎用のコンパイル・プログラミング言語です。強い静的型付け…」

2019-09-24T14:46:08Z

ページの作成:「Category:プログラミング言語 en:Ada [https://www.adaic.org/ Ada] は汎用のコンパイル・プログラミング言語です。強い静的型付け…」

新規ページ

[[Category:プログラミング言語]]
[[en:Ada]]
[https://www.adaic.org/ Ada] は汎用のコンパイル・プログラミング言語です。強い静的型付け・パッケージ・例外・ジェネリクス・タスク・オブジェクト指向・契約を備えています。

== インストール ==

{{Pkg|gcc-ada}} パッケージを[[インストール]]してください。[[GNU Compiler Collection]] (GCC) の Ada フロントエンドである GNAT コンパイラがインストールされます。

追加パッケージ:
* {{AUR|gprbuild}} - GPRbuild ビルドシステム
* {{AUR|xmlada}} - XML/Ada
* {{AUR|ada-web-server}} - Ada ウェブサーバー
* {{AUR|aunit}} - Ada ユニットテストフレームワーク
* GNATColl - GNAT コンポーネントコレクション
** {{AUR|gnatcoll-core}}
** {{AUR|gnatcoll-db2ada}}
** {{AUR|gnatcoll-gmp}}
** {{AUR|gnatcoll-iconv}}
** {{AUR|gnatcoll-postgres}}
** {{AUR|gnatcoll-python}}
** {{AUR|gnatcoll-readline}}
** {{AUR|gnatcoll-sql}}
** {{AUR|gnatcoll-sqlite}}
** {{AUR|gnatcoll-xref}}

=== インストールのテスト ===

以下のようにシンプルなプログラムをビルドして GNAT が正しくインストールされているか確認:
{{hc|hello.adb|
with Ada.Text_IO;

procedure Hello is
begin
Ada.Text_IO.Put_Line ("Hello, Arch!");
end Hello;
}}

{{ic|gnatmake}} でコンパイル:
{{hc|$ gnatmake hello|
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali
}}

そして実行:
{{hc|$ ./hello|
Hello, Arch!
}}

== 参照 ==

=== 言語 ===

* [http://www.ada-auth.org/standards/rationale12.html Rationale for Ada 2012]
* [http://www.ada-auth.org/standards/ada12_w_tc1.html Ada 2012 Language Reference Manual]
* [https://en.wikibooks.org/wiki/Ada_Programming Ada Programming at Wikibooks]
* [https://learn.adacore.com/ Interactive learning platform Learn.adacore.com]

=== ツール ===

* [https://gcc.gnu.org/onlinedocs/gnat_ugn/ GNAT User’s Guide for Native Platforms]
* [https://gcc.gnu.org/onlinedocs/gnat_rm/ GNAT Reference Manual]
* [https://docs.adacore.com/live/wave/gprbuild/html/gprbuild_ug/gprbuild_ug.html GPRbuild and GPR Companion Tools User’s Guide]

=== ライブラリ ===

* [https://docs.adacore.com/live/wave/xmlada/html/xmlada_ug/index.html XML/Ada: The Unicode and XML Library for Ada]
* [https://docs.adacore.com/live/wave/aws/html/aws_ug/index.html AWS: The Ada Web Server]
* [https://docs.adacore.com/live/wave/aunit/html/aunit_cb/aunit_cb.html AUnit Cookbook]
* [https://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/index.html GNAT Reusable Components]

← 古い版		2024年1月5日 (金) 00:50時点における版
9行目:		9行目:
	追加パッケージ:		追加パッケージ:
	* {{AUR\|all-ada}} - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。		* {{AUR\|all-ada}} - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。
	* {{AUR\|adacurses}} - ''ncurses'' C ライブラリへの Ada バインディング。		* {{AUR\|adacurses}} - 'ncurses' C ライブラリへの Ada バインディング。
	* {{AUR\|adaogg}} - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。		* {{AUR\|adaogg}} - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。
	* {{AUR\|ada_language_server}} - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。		* {{AUR\|ada_language_server}} - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。
23行目:		23行目:
	* {{AUR\|gcc-ada-debug}} - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。		* {{AUR\|gcc-ada-debug}} - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。
	* GNATColl - GNAT コンポーネントのコレクション		* GNATColl - GNAT コンポーネントのコレクション
	** {{AUR\|gnatcoll-core}} or {{AUR\|gnatcoll-core-git}}		** {{AUR\|gnatcoll-core}} もしくは {{AUR\|gnatcoll-core-git}}
	** {{AUR\|gnatcoll-db2ada}}		** {{AUR\|gnatcoll-db2ada}}
	** {{AUR\|gnatcoll-gmp}} or {{AUR\|gnatcoll-gmp-git}}		** {{AUR\|gnatcoll-gmp}} もしくは {{AUR\|gnatcoll-gmp-git}}
	** {{AUR\|gnatcoll-iconv}} or {{AUR\|gnatcoll-iconv-git}}		** {{AUR\|gnatcoll-iconv}} もしくは {{AUR\|gnatcoll-iconv-git}}
	** {{AUR\|gnatcoll-gnatinspect}}		** {{AUR\|gnatcoll-gnatinspect}}
	** {{AUR\|gnatcoll-lzma}}		** {{AUR\|gnatcoll-lzma}}