「Ada」の版間の差分

提供: ArchWiki
ナビゲーションに移動 検索に移動
(ページの作成:「Category:プログラミング言語 en:Ada [https://www.adaic.org/ Ada] は汎用のコンパイル・プログラミング言語です。強い静的型付け…」)
 
(→‎インストール: 翻訳を修正)
 
(2人の利用者による、間の3版が非表示)
8行目: 8行目:
   
 
追加パッケージ:
 
追加パッケージ:
  +
* {{AUR|all-ada}} - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。
* {{AUR|gprbuild}} - GPRbuild ビルドシステム
 
  +
* {{AUR|adacurses}} - 'ncurses' C ライブラリへの Ada バインディング。
* {{AUR|xmlada}} - XML/Ada
 
  +
* {{AUR|adaogg}} - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。
* {{AUR|ada-web-server}} - Ada ウェブサーバー
 
  +
* {{AUR|ada_language_server}} - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。
* {{AUR|aunit}} - Ada ユニットテストフレームワーク
 
  +
* {{AUR|ada-libfswatch}} - fswatch プロジェクトの libfswatch ライブラリにバインディングする Ada
* GNATColl - GNAT コンポーネントコレクション
 
  +
* {{AUR|adasat}} - Ada での DPLL ベースの SAT ソルバーの実装。
** {{AUR|gnatcoll-core}}
 
  +
* {{AUR|adasockets}} - Ada の BSD ソケット。
  +
* {{AUR|ada_spawn}} - プロセスを開始し、プロセスと通信するためのシンプルな Ada API
  +
* {{AUR|ada-web-server}} - Web サーバーがあります
  +
* {{AUR|ahven}} - Ada プログラミング言語のシンプルな単体テストフレームワーク。
  +
* {{AUR|alire}} - すぐに使用できる Ada ライブラリのカタログと、それらを使用するためのコマンドラインツール (alr)
  +
* {{AUR|aunit}} - Ada 単体テストフレームワーク
  +
* {{AUR|florist}} - IEEE 標準 1003.5b-1996、POSIX Ada バインディングのオープンソース実装。
  +
* {{AUR|gcc-ada-debug}} - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。
  +
* GNATColl - GNAT コンポーネントのコレクション
  +
** {{AUR|gnatcoll-core}} もしくは {{AUR|gnatcoll-core-git}}
 
** {{AUR|gnatcoll-db2ada}}
 
** {{AUR|gnatcoll-db2ada}}
** {{AUR|gnatcoll-gmp}}
+
** {{AUR|gnatcoll-gmp}} もしくは {{AUR|gnatcoll-gmp-git}}
** {{AUR|gnatcoll-iconv}}
+
** {{AUR|gnatcoll-iconv}} もしくは {{AUR|gnatcoll-iconv-git}}
  +
** {{AUR|gnatcoll-gnatinspect}}
  +
** {{AUR|gnatcoll-lzma}}
  +
** {{AUR|gnatcoll-omp}}
 
** {{AUR|gnatcoll-postgres}}
 
** {{AUR|gnatcoll-postgres}}
 
** {{AUR|gnatcoll-python}}
 
** {{AUR|gnatcoll-python}}
22行目: 35行目:
 
** {{AUR|gnatcoll-sql}}
 
** {{AUR|gnatcoll-sql}}
 
** {{AUR|gnatcoll-sqlite}}
 
** {{AUR|gnatcoll-sqlite}}
  +
** {{AUR|gnatcoll-syslog}}
 
** {{AUR|gnatcoll-xref}}
 
** {{AUR|gnatcoll-xref}}
  +
** {{AUR|gnatcoll-zlib}}
  +
* {{AUR|gnatcoverage-bin}} - Ada および C プログラムのプログラム カバレッジを分析およびレポートするツール。
  +
* {{AUR|gnatdoc}} - GNAT ドキュメント生成ツール。
  +
* {{AUR|gnatstudio}} - Ada の GnatStudio。
  +
* {{AUR|gnatstudio-bin}} - Ada 用の GnatStudio バイナリ。
  +
* {{AUR|gnatsymbolize}} - アドレスを、Ada プログラムの対応するファイル名、行番号、関数名に変換します。
  +
* {{AUR|gprbuild}} or {{AUR|gprbuild-git}} - GPRbuild ビルドシステム。
  +
* {{AUR|gprbuild-toolbox}} - 多言語システム用のメタビルダーツールボックス。
  +
* {{AUR|gpr}} - Ada GPR プロジェクトファイルのパーサー。
  +
* {{AUR|gpr-unit-provider}} - GPR プロジェクト分析ライブラリに基づく Libadalang のユニットプロバイダー。
  +
* {{AUR|gtkada}} - Gtk+ ライブラリの Ada バインディング。
  +
* {{AUR|ini_file_manager}} - Ada 用の Ini 設定ファイルリーダーおよびマニピュレーターパッケージ。
  +
* {{AUR|inotify-ada}} - Linux inotify API を使用してファイルシステムイベントを監視する Ada 2012 ライブラリ。
  +
* {{AUR|kazakov_simple_components}} - Dmitri Kazakov による低レベルの Ada コンポーネントのセット。
  +
* {{AUR|langkit}} - 構文および意味言語分析ライブラリ用のコンパイラ。
  +
* {{AUR|libadalang}} - Ada プログラミング言語用の高性能セマンティックエンジン。
  +
* {{AUR|libadalang-tools}} - Ada 用の Libadalang ベースのツール: gnatpp、gnatmetric、gnatstub。
  +
* {{AUR|libgpr}} - Gnat プロジェクトファイルを処理するための Ada ライブラリ。
  +
* {{AUR|libvss}} - Ada 用の高レベルの文字列およびテキスト処理ライブラリ。
  +
* {{AUR|markdown}} - Ada のマークダウンパーサー。
  +
* {{AUR|polyorb}} - Ada を使用して分散アプリケーションを構築するための Distributed Systems Annex (DSA) を提供します。
  +
* {{AUR|sdlada}} - Simple DirectMedia Layer (SDL) ライブラリへの Ada バインディング。
  +
* {{AUR|spark2014}} - Ada (GNAT FSF バージョン) に基づいて正式に定義されたプログラミング言語。
  +
* {{AUR|templates_parser}} - 動的 HTML ドキュメントなどのテンプレート化されたテキストストリームを作成する Ada ツール。
  +
* {{AUR|vulkada}} - Ada 2012 プログラミング言語用の完全な Vulkan 1.1 バインディング。
  +
* {{AUR|xmlada}} or {{AUR|xmlada-git}} - XML/Ada
  +
  +
署名されたビルド済みパッケージは、[https://wiki.archlinux.org/title/Unofficial_user_repositories#ada 非公式ユーザーリポジトリの Ada リポジトリ] から入手できます。
   
 
=== インストールのテスト ===
 
=== インストールのテスト ===
56行目: 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)]]
   
 
=== ツール ===
 
=== ツール ===
69行目: 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]

2024年1月5日 (金) 00:50時点における最新版

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

インストール

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

追加パッケージ:

  • all-adaAUR - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。
  • adacursesAUR - 'ncurses' C ライブラリへの Ada バインディング。
  • adaoggAUR - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。
  • ada_language_serverAUR - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。
  • ada-libfswatchAUR - fswatch プロジェクトの libfswatch ライブラリにバインディングする Ada
  • adasatAUR - Ada での DPLL ベースの SAT ソルバーの実装。
  • adasocketsAUR - Ada の BSD ソケット。
  • ada_spawnAUR - プロセスを開始し、プロセスと通信するためのシンプルな Ada API
  • ada-web-serverAUR - Web サーバーがあります
  • ahvenAUR - Ada プログラミング言語のシンプルな単体テストフレームワーク。
  • alireAUR - すぐに使用できる Ada ライブラリのカタログと、それらを使用するためのコマンドラインツール (alr)
  • aunitAUR - Ada 単体テストフレームワーク
  • floristAUR - IEEE 標準 1003.5b-1996、POSIX Ada バインディングのオープンソース実装。
  • gcc-ada-debugAUR - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。
  • GNATColl - GNAT コンポーネントのコレクション
  • gnatcoverage-binAUR - Ada および C プログラムのプログラム カバレッジを分析およびレポートするツール。
  • gnatdocAUR - GNAT ドキュメント生成ツール。
  • gnatstudioAUR - Ada の GnatStudio。
  • gnatstudio-binAUR - Ada 用の GnatStudio バイナリ。
  • gnatsymbolizeAUR - アドレスを、Ada プログラムの対応するファイル名、行番号、関数名に変換します。
  • gprbuildAUR or gprbuild-gitAUR - GPRbuild ビルドシステム。
  • gprbuild-toolboxAUR - 多言語システム用のメタビルダーツールボックス。
  • gprAUR - Ada GPR プロジェクトファイルのパーサー。
  • gpr-unit-providerAUR - GPR プロジェクト分析ライブラリに基づく Libadalang のユニットプロバイダー。
  • gtkadaAUR - Gtk+ ライブラリの Ada バインディング。
  • ini_file_managerAUR - Ada 用の Ini 設定ファイルリーダーおよびマニピュレーターパッケージ。
  • inotify-adaAUR - Linux inotify API を使用してファイルシステムイベントを監視する Ada 2012 ライブラリ。
  • kazakov_simple_componentsAUR - Dmitri Kazakov による低レベルの Ada コンポーネントのセット。
  • langkitAUR - 構文および意味言語分析ライブラリ用のコンパイラ。
  • libadalangAUR - Ada プログラミング言語用の高性能セマンティックエンジン。
  • libadalang-toolsAUR - Ada 用の Libadalang ベースのツール: gnatpp、gnatmetric、gnatstub。
  • libgprAUR - Gnat プロジェクトファイルを処理するための Ada ライブラリ。
  • libvssAUR - Ada 用の高レベルの文字列およびテキスト処理ライブラリ。
  • markdownAUR - Ada のマークダウンパーサー。
  • polyorbAUR - Ada を使用して分散アプリケーションを構築するための Distributed Systems Annex (DSA) を提供します。
  • sdladaAUR - Simple DirectMedia Layer (SDL) ライブラリへの Ada バインディング。
  • spark2014AUR - Ada (GNAT FSF バージョン) に基づいて正式に定義されたプログラミング言語。
  • templates_parserAUR - 動的 HTML ドキュメントなどのテンプレート化されたテキストストリームを作成する Ada ツール。
  • vulkadaAUR - Ada 2012 プログラミング言語用の完全な Vulkan 1.1 バインディング。
  • xmladaAUR or xmlada-gitAUR - XML/Ada

署名されたビルド済みパッケージは、非公式ユーザーリポジトリの Ada リポジトリ から入手できます。

インストールのテスト

以下のようにシンプルなプログラムをビルドして GNAT が正しくインストールされているか確認:

hello.adb
with Ada.Text_IO;

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

gnatmake でコンパイル:

$ gnatmake hello
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali

そして実行:

$ ./hello
Hello, Arch!

参照

言語

ツール

ライブラリ