이제 SPARK Ada 코드를 작성하고 실행하기 위한 도구를 여러분의 컴퓨터에 설치해 보겠습니다. 이 장에서는 FreeBSD 운영체제에 개발 환경을 구축하는 과정을 쉽고 자세하게 안내합니다.

2.1 SPARK Ada를 사용하기 위한 준비물 (개발 환경)

SPARK Ada 코드를 작성하고 실행하기 위해서는 몇 가지 필수적인 도구가 필요합니다. 다행히 이러한 도구들은 대부분 무료로 제공됩니다.

필수 준비물:

1. SPARK Ada 컴파일러 및 도구 모음: SPARK Ada 코드를 컴퓨터가 이해할 수 있는 언어로 번역하고, 코드의 안전성을 검증하는 데 필요한 핵심 도구입니다. 이 책에서는 GNAT Community Edition을 기준으로 설명합니다. GNAT는 Ada 프로그래밍 언어를 위한 가장 널리 사용되는 컴파일러 중 하나이며, SPARK Ada 개발에 필요한 모든 도구를 포함하고 있습니다.
2. 텍스트 편집기 (선택 사항이지만 권장): 코드를 작성하는 데 사용되는 프로그램입니다. 기본적인 텍스트 편집기로도 충분하지만, 구문 강조(syntax highlighting) 기능이나 자동 완성 기능을 제공하는 편집기를 사용하면 더욱 편리하게 코드를 작성할 수 있습니다. (예: Visual Studio Code, Sublime Text, Atom 등)
3. 명령줄 인터페이스 (터미널): 컴파일러와 같은 도구를 실행하기 위해 사용됩니다. FreeBSD에서는 “터미널” 앱을 사용합니다.

2.2 쉬운 설치 방법 안내

이제 GNAT Community Edition을 FreeBSD 운영체제에 설치하는 방법을 단계별로 안내해 드리겠습니다.

FreeBSD 사용자

FreeBSD 운영체제에서 SPARK Ada 개발 환경을 설치하는 방법은 다음과 같습니다.

1단계: 터미널 열기

FreeBSD에서 터미널 애플리케이션을 엽니다.

2단계: GNAT 설치

FreeBSD의 패키지 관리자인 pkg를 사용하여 GNAT 13 컴파일러를 설치합니다. 다음 명령어를 터미널에 입력하고 Enter 키를 누릅니다.

sudo pkg install gnat13

이 명령어를 실행하면 GNAT 컴파일러 및 관련 라이브러리가 설치됩니다. 설치 과정에서 관리자 비밀번호를 묻거나 설치를 확인하는 메시지가 나타날 수 있습니다.

3단계: PATH 환경 변수 설정

GNAT 13 컴파일러를 시스템에서 바로 실행하기 위해서는 해당 실행 파일의 경로를 PATH 환경 변수에 추가해야 합니다. 일반적으로 사용자 계정의 환경 설정을 담고 있는 .shrc 파일에 이를 설정합니다.

텍스트 편집기(예: nano, vi)를 사용하여 ~/.shrc 파일을 열고 다음 줄을 파일의 마지막 부분에 추가합니다.

PATH="$PATH:/usr/local/gnat13/bin"

파일을 저장하고 닫습니다. 변경된 환경 변수를 현재 터미널 세션에 바로 적용하기 위해 다음 명령어를 실행합니다.

. .shrc

2.3 첫 번째 코딩 도구 실행해보기

GNAT Community Edition이 성공적으로 설치되었다면, 이제 설치된 컴파일러가 제대로 작동하는지 확인해 보겠습니다.

1단계: GNAT 컴파일러 버전 확인

터미널에 다음 명령어를 입력하고 Enter 키를 누릅니다.

gnat --version

이 명령어는 설치된 GNAT 컴파일러의 버전을 출력합니다. 만약 버전 정보가 정상적으로 출력된다면, GNAT 컴파일러가 여러분의 컴퓨터에 성공적으로 설치된 것입니다.

축하합니다! 여러분은 이제 SPARK Ada 코드를 작성하고 실행하기 위한 기본적인 개발 환경을 성공적으로 구축했습니다. 이제 FreeBSD 환경에서 SPARK Ada 개발을 시작할 수 있습니다. 다음 장에서는 실제로 SPARK Ada 코드를 작성하는 방법에 대해 알아보겠습니다.

https://nimfsoft.com/2025/04/07/2-installing-coding-tools-on-my-computer/