디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

2. 내 컴퓨터에 코딩 도구 설치하기

*루비*갤로그로 이동합니다. 2025.04.07 01:33:15
조회 33 추천 0 댓글 0


gnat-version

이제 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 파일에 이를 설정합니다.

텍스트 편집기(예: nanovi)를 사용하여 ~/.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/

 




추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 잘못하면 바로 인정하고 사과할 것 같은 스타는? 운영자 25/04/07 - -
2840462 BoA 보아-Girls On Top 발명도둑잡기갤로그로 이동합니다. 04.07 13 0
2840461 git checkout rnaster git push -f [3] 프갤러(211.245) 04.07 38 0
2840459 취직하고 싶은데 학점, 자격증, 포트폴리오 뭐가 제일 중요한가요?? [2] ㅇㅇ(223.38) 04.07 33 0
2840456 오늘의 게임 기획 실마리: 대통령 탄핵 시뮬레이숀 게임 발명도둑잡기갤로그로 이동합니다. 04.07 20 0
2840455 보도방들 5~6년차가 가도 이랏시아리마세 아니었냐 ㅇㅅㅇ? [2] 강유현갤로그로 이동합니다. 04.07 68 1
2840454 gpt 이새끼 왜 갑자기 칭찬머신됨 [1] hrin(118.235) 04.07 61 0
2840453 트럼프가 달러 환율을 얼마나 떨구려나 hrin(118.235) 04.07 22 0
2840452 시스템 구현은 생각보다 안 어려운게 많음 근데 그걸 꾸미고 [6] ㅆㅇㅆ(113.192) 04.07 65 0
2840451 전산직 진로고민 프갤러(218.48) 04.07 36 0
2840450 아니 진짜 뭐 이런곳이 있음 [2] 프갤러(117.110) 04.07 75 0
2840449 ❤✨☀⭐나님 시작합니당⭐☀✨❤ ♥냥덩소프트♥갤로그로 이동합니다. 04.07 26 0
2840448 차단 풀렸다 발명도둑잡기갤로그로 이동합니다. 04.07 21 0
2840447 집에서 몰래 사업 준비중이던 아이템이랑 똑같은걸. ㅇ ㅅㅇ) 프갤러(60.196) 04.07 30 0
2840446 아이피 바꿨다. 근데 유니티랑 WPF랑 많이 다름 ㅇㅇ [15] ㅆㅇㅆ(113.192) 04.07 113 0
2840444 유현이 취직 안되는이유 [5] ㅇㅇ갤로그로 이동합니다. 04.07 70 0
2840443 아 시발 회의 그만하고싶다 [2] 프갤러(211.235) 04.07 41 0
2840442 여자들아 84년생 이불공장했던 부천.대구 김대희 조심해라  멀쩡한 외모 ㅇㅇ(39.7) 04.07 48 0
2840441 슬슬 취직 몬할까바 걱정댄다 ㅇㅅㅇ [10] 강유현갤로그로 이동합니다. 04.07 98 0
2840440 html + css 다 까먹었는데 [3] 아스카영원히사랑해갤로그로 이동합니다. 04.07 64 0
2840439 흠.. ♥냥덩소프트♥갤로그로 이동합니다. 04.07 20 0
2840437 요즘 일없긴함 아예 건설현장쪽은 일없는데 인력소장이 아는 사람이라 [3] ㅆㅇㅆ(124.216) 04.07 57 0
2840436 내일 야간은 몸이 편한 일 하러감. 건물 청소하러 간다. [4] ㅆㅇㅆ(124.216) 04.07 52 0
2840435 그냥 씨발 오전내내 인터넷이 안되고 아오 힘들다 [2] ㅆㅇㅆ(124.216) 04.07 36 0
2840433 대학교때 c언어랑 plc 전혀 흥미없었으면 [4] 프갤러(121.175) 04.07 78 0
2840432 ❤✨☀⭐나님 시작합니당⭐☀✨❤ ♥냥덩소프트♥갤로그로 이동합니다. 04.07 24 0
2840431 SPARK 프로그래밍 [1] *루비*갤로그로 이동합니다. 04.07 42 0
2840430 님들 저 졸작 주제 추천좀요 ㅠㅠㅠㅠㅠㅠㅠㅠㅠ [18] 공기역학갤로그로 이동합니다. 04.07 89 0
2840429 좆소다니다 중견으로 이직했는데 너무 좋다 [3] ㅇㅇ갤로그로 이동합니다. 04.07 58 0
2840428 간만에 fp in scala 정독 마렵구나 [4] 딱님갤로그로 이동합니다. 04.07 39 0
2840426 개발자 필수 스킬2 프갤러(121.138) 04.07 52 0
2840425 개발자 필수 스킬 [2] 프갤러(121.138) 04.07 78 0
2840424 개발자로 일할거면 개인 공부가 필수긴함 프갤러(211.58) 04.07 76 0
2840423 평범한 사람과 개발자의 관점 차이 ㅇㅅㅇ [11] 강유현갤로그로 이동합니다. 04.07 87 0
2840422 일반인들한테는 개발자 인식이 좀 다르네 [3] 프갤러(211.58) 04.07 66 0
2840421 오늘예 반프리 한 일 추가 ㅇㅅㅇ [8] 강유현갤로그로 이동합니다. 04.07 64 0
2840420 ❤✨☀⭐나님 시작합니당⭐☀✨❤ ♥냥덩소프트♥갤로그로 이동합니다. 04.07 26 0
2840419 누가 더 유명함 팝스타 축구선수 디바(59.28) 04.07 15 0
2840418 국비충 CRUD만 계속 파고드는중 [2] 배급견주솜솜이갤로그로 이동합니다. 04.07 63 0
2840417 si에서 벗어나는 게 어렵나? [4] 프갤러(223.38) 04.07 70 0
2840415 따당이 월요일 행복연차 즐기는즁 ㅇㅅㅇㅋ [4] 익명의따당이갤로그로 이동합니다. 04.07 46 0
2840414 매국단체 프갤러(121.172) 04.07 21 0
2840413 친중내란탄핵 때문에 한국인 인신매매 대놓고 시작된듯.. [1] ♥냥덩소프트♥갤로그로 이동합니다. 04.07 32 0
2840412 환율 올라가는 속도 보니 - 망하는 거 아님? [1] 프갤러(121.172) 04.07 57 0
2840411 o1 pro 고장남? 나만 고장남? [1] 프갤러(223.194) 04.07 34 0
2840410 GPT새끼 좀 치네 ㅇㅅㅇ ㅋㅋ 강유현갤로그로 이동합니다. 04.07 48 1
2840409 백엔드는 자바 스프링이다 [3] ㅇㅇ(211.234) 04.07 54 0
2840408 플랫폼 및 게시판 형태 프갤러(121.172) 04.07 18 0
2840407 나님 New 아이디어템 장착 ♥냥덩소프트♥갤로그로 이동합니다. 04.07 22 0
2840406 게시판이나 하나 만들어야겠다- 프갤러(121.172) 04.07 31 0
2840405 여성단체가 반국가 단체네 [3] 프갤러(121.172) 04.07 47 0
뉴스 ‘맑눈광’ 김아영, 근황 전하며 눈물 “괜찮지 않다…불안하고 두려워” 디시트렌드 04.07
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2