KAL
Menu

Penyiapan

Memasang toolchain Ada melalui pengelola package Alire dan memverifikasi kompilator GNAT yang tersedia.

Daftar isi

Toolchain yang terpasang dengan benar menentukan kelancaran seluruh jalur ini. Topik ini membahas cara memperoleh Alire, pengelola package untuk Ada dan SPARK, pemilihan kompilator beserta alat build-nya melalui perintah alr toolchain, serta verifikasi kompilator GNAT yang dapat dipanggil dari terminal. Setelah langkah-langkahnya selesai, alr, gnat, dan gprbuild masing-masing menampilkan nomor versinya dengan benar.

Mengenal Alire#

Alire adalah pengelola package (package manager) untuk Ada dan SPARK, sedangkan perintah yang dipanggil di terminal bernama alr. Perannya mencakup tiga hal, yaitu memasang toolchain, mengunduh crate, serta menyiapkan lingkungan build proyek. Toolchain tersebut berisi kompilator GNAT dan gprbuild sebagai pemroses berkas proyek.

Crate adalah istilah Alire untuk paket perangkat lunak yang dipublikasikan ke indeksnya. Indeks komunitas tersebut dapat dijelajahi pada situs alire.ada.dev. Diagram berikut merangkum posisi alr di antara indeks komunitas dan toolchain yang terpasang.

alire.ada.dev (indeks komunitas)mengunduhalr (pengelola package)memasang dan memilihtoolchain: gnat_native dan gprbuild
Posisi alr di antara indeks komunitas dan toolchain yang terpasang

Satu mesin boleh memuat beberapa kompilator sekaligus, tetapi hanya satu yang ditetapkan sebagai pilihan utama. Alat pemilihnya adalah alr toolchain, yang dibahas pada bagian berikut. Pemisahan ini mencegah toolchain milik Alire dan kompilator yang dipasang distribusi saling menimpa.

Memasang alr#

Pada Linux, Alire didistribusikan sebagai arsip. Unduh arsipnya dari halaman rilis repository GitHub proyek Alire, ekstrak, lalu tambahkan folder bin hasil ekstraksi ke variabel PATH. Perintah berikut menambahkannya untuk sesi terminal saat ini, sedangkan penambahan permanen dilakukan dengan menyalin perintah yang sama ke berkas .profile pada akun pengguna.

bash 
# tidak-dijalankan
# jalur contoh bergantung pada lokasi ekstraksi arsip
export PATH="<PATH_TO_EXTRACTED>/bin/:$PATH"

Pada Windows, Alire menyediakan installer yang menyiapkan PowerShell dengan alr di dalam PATH. Pada macOS, Alire juga berbentuk arsip dengan langkah PATH yang sama seperti Linux. Detail ketiganya tertuang pada dokumentasi resmi yang dirujuk di bagian Referensi.

Memilih toolchain dengan alr toolchain#

Toolchain pada Alire terdiri atas kompilator GNAT dan gprbuild sebagai pemroses berkas proyek. Perintah alr toolchain –select memilih keduanya, dan apabila dipanggil dengan nama crate sebagai argumen, asisten pemilih interaktifnya dilewati. Kompilator native untuk platform tempat program dijalankan bernama gnat_native, sedangkan kompilator silang mengikuti pola penamaan gnat_target.

bash 
# tidak-dijalankan
# memilih gnat_native dan gprbuild sebagai toolchain utama
alr toolchain --select gnat_native gprbuild

Apabila versi yang diminta sudah terpasang, perintah yang sama hanya menetapkan pilihannya tanpa unduhan. Kompilator yang sudah terunduh selalu diutamakan, sehingga pemilihan ulang selesai seketika. Kondisi tersebut berlaku pada lingkungan penulisan jalur ini, sehingga blok perintah di atas tidak dieksekusi ulang.

Memverifikasi kompilator yang tersedia#

Verifikasi pertama menyasar alr sendiri. Perintah alr version menampilkan versi aplikasi beserta konfigurasinya dalam banyak baris, sehingga baris versinya disaring dengan grep. Blok berikut hanya menampilkan baris yang membawa nomor versi.

bash 
# menampilkan baris versi alr
alr version | grep "alr version:"
text Keluaran 
alr version:               2.0.2+9b80158

Verifikasi kedua menyasar toolchain yang dikenali Alire. Perintah alr toolchain tanpa argumen menampilkan kompilator yang terpasang beserta pilihan utamanya. Dua entri berstatus Default adalah pilihan utama Alire, yaitu gprbuild 22.0.1 dan gnat_native 14.2.1. Entri berstatus Available adalah versi lain yang dikenali Alire pada mesin yang sama, baik versi lama yang pernah diunduh dengan keterangan Detected at maupun versi yang disediakan distribusi dengan keterangan Provided by system package.

bash 
# menampilkan toolchain yang dikenali alr
alr toolchain
text Keluaran 
CRATE         VERSION  STATUS    NOTES                                                                   
gprbuild      22.0.0   Available Detected at (...)/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprbuild
gprbuild      22.0.1   Default                                                                           
gprbuild      2025.0.0 Available Provided by system package: gprbuild                                    
gnat_native   14.2.1   Default                                                                           
gnat_external 14.2.0   Available Detected at (...)e/alire/toolchains/gnat_native_14.2.1_06bb3def/bin/gnat

Verifikasi ketiga menyasar kompilator yang dipanggil terminal. Perintah gnat –version menampilkan versi kompilator yang berada di PATH saat ini, dan pada lingkungan penulisan jalur ini hasilnya adalah GNAT 14.2.0, sama dengan nomor versi pada entri gnat_external di tabel sebelumnya. Dengan demikian, gnat yang dipanggil dari terminal dan toolchain pilihan Alire berasal dari keluarga versi yang sama, dan pemetaan lengkapnya dibahas pada topik lanskap kompilator.

bash 
# menampilkan versi compiler gnat di PATH
gnat --version
text Keluaran 
GNAT 14.2.0
Copyright (C) 1996-2024, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Kesalahan umum#

Tiga kekeliruan berikut paling sering ditemui saat menyiapkan toolchain, dan masing-masing disertai penyebab serta perbaikannya.

alr tidak ditemukan di terminal. Pesan alr: command not found muncul ketika folder bin hasil ekstraksi belum masuk ke PATH. Perbaikannya, tambahkan folder tersebut ke PATH sesuai langkah pada bagian Memasang alr, lalu buka terminal baru.

gnat tidak ditemukan padahal alr sudah merespons. Alire yang baru terpasang belum tentu membawa kompilator, karena pemasangan toolchain-nya dilakukan terpisah melalui alr toolchain –select. Jalankan pemilihan tersebut terlebih dahulu, atau gunakan kompilator GNAT yang disediakan distribusi.

Perintah alr tidak kunjung selesai. Perintah yang memerlukan unduhan dari indeks komunitas tidak akan selesai tanpa koneksi internet. Pastikan koneksi tersedia, lalu jalankan kembali perintahnya dan periksa hasilnya dengan alr toolchain.

Ringkasan#

  • Alire adalah pengelola package untuk Ada dan SPARK dengan perintah utama alr, sedangkan toolchain-nya berisi kompilator GNAT dan gprbuild.
  • Pemasangan pada Linux dilakukan dengan arsip yang folder bin-nya ditambahkan ke PATH, sedangkan Windows menyediakan installer.
  • alr toolchain –select menetapkan pilihan toolchain, dan alr toolchain tanpa argumen menampilkan kompilator terpasang beserta status Default atau Available.
  • gnat –version menampilkan versi kompilator yang dipanggil terminal, yang boleh berbeda dari gnat_native pilihan Alire.

Referensi#