-
Ada ❤Tutorial코딩Coding/Ada❤️Language 2022. 9. 22. 19:15728x90
내가 공부하려고 정리함
Ada한글_강의001_HelloWorld_Ada 안전한 언어 #ada
https://youtu.be/zwFgGOSQL84
https://learn.adacore.com/courses/intro-to-ada/chapters/introduction.html#history“learn.adacore.com"
An interactive learning platform to teach the Ada and SPARK programming languages.
learn.adacore.com
윈도우에서는 필수 설치!!
pacman
https://www.msys2.org/MSYS2
Software Distribution and Building Platform for Windows
www.msys2.org
pacman 가능하게 한 후
$ pacman -S mingw-w64-x86_64-gcc resolving dependencies... looking for conflicting packages... Packages (15) mingw-w64-x86_64-binutils-2.39-2 mingw-w64-x86_64-crt-git-10.0.0.r68.g6eb571448-1 mingw-w64-x86_64-gcc-libs-12.2.0-1 mingw-w64-x86_64-gmp-6.2.1-3 mingw-w64-x86_64-headers-git-10.0.0.r68.g6eb571448-1 mingw-w64-x86_64-isl-0.25-1 mingw-w64-x86_64-libiconv-1.17-1 mingw-w64-x86_64-libwinpthread-git-10.0.0.r68.g6eb571448-1 mingw-w64-x86_64-mpc-1.2.1-1 mingw-w64-x86_64-mpfr-4.1.0.p13-1 mingw-w64-x86_64-windows-default-manifest-6.4-4 mingw-w64-x86_64-winpthreads-git-10.0.0.r68.g6eb571448-1 mingw-w64-x86_64-zlib-1.2.12-1 mingw-w64-x86_64-zstd-1.5.2-2 mingw-w64-x86_64-gcc-12.2.0-1 Total Installed Size: 397.59 MiB :: Proceed with installation? [Y/n] [... downloading and installation continues ...]
VScode세팅방법
https://github.com/AdaCore/ada_language_server/wiki/Getting-Started
https://youtu.be/f6wneklxrykGitHub - AdaCore/ada_language_server: Server implementing the Microsoft Language Protocol for Ada and SPARK
Server implementing the Microsoft Language Protocol for Ada and SPARK - GitHub - AdaCore/ada_language_server: Server implementing the Microsoft Language Protocol for Ada and SPARK
github.com
AdaCore
AdaCore is the leading provider of commercial software solutions for Ada. - AdaCore
github.com
https://github.com/alire-project/alire/releasesReleases · alire-project/alire
Command-line tool from the Alire project and supporting library - alire-project/alire
github.com
Alire -
ALIRE: Ada LIbrary REpository A catalog of ready-to-use Ada/SPARK libraries plus a command-line tool (alr) to obtain, build, and incorporate them into your own projects. It aims to fulfill a similar role to Rust’s cargo or OCaml’s opam. Design principl
alire.ada.dev
https://www.reddit.com/r/ada/comments/t22poj/macbook_pro_m1_ada_solution/Macbook Pro - M1 - Ada solution
Looking for an Ada solution for my Macbook Pro - M1. My search has not yielded much luck! TIA srini
www.reddit.com
반응형'코딩Coding > Ada❤️Language' 카테고리의 다른 글
Ada❤️Doubly listed list 구현 (2) 2023.10.08 Why is Ada💕 a "safety critical" language? Some things I notice are ... (0) 2023.01.17 Ada on Windows and Linux: an installation guide (0) 2022.12.15 Ada CocInstall coc-als_필요없는 coclspserver 지우기 (0) 2022.11.28 macOS에서 Ada실행하기 alr활용하면 될듯 alr run 이러네 ㅎㅎ 러스트 스타일 (0) 2022.11.02 Adding Ada to Rust (0) 2022.11.01 MSYS2 를 통해 MinGW-W64 설치하기 (윈도우에서 사용하는 GCC) (0) 2022.09.23 ada programming language compile gcc -c hello.adb (0) 2022.09.22