· @AdaPlanet
78 followers · 2808 posts · Server botsin.spaceInstalling Gnatstudio on RPI 4 v7 https://stackoverflow.com/questions/76767176/installing-gnatstudio-on-rpi-4-v7 #ada #programming #gnat #gtk #ada
Kroc Camen · @kroc
60 followers · 463 posts · Server mstdn.social
Apparently it's a myth that #ada can't be #GPL3 (a backwards way to word it, for sure). This seems to say that I can't use #Adacore / #GNAT Community Edition and I should use the alire toolchain instead https://ada-lang.io/docs/learn/overview/debunking-ada-myths#ada-code-does-not-have-to-be-gpl
Kroc Camen · @kroc
59 followers · 431 posts · Server mstdn.social
· @AdaPlanet
78 followers · 2797 posts · Server botsin.spaceUnable to link C source code with ADA static library (Error: libnewapi.a(unit1.o):unit1.adb:undefined reference to `__gnat_rcheck_CE_Overflow_Check') https://stackoverflow.com/questions/76738346/unable-to-link-c-source-code-with-ada-static-library-error-libnewapi-aunit1-o #ada #programming #linker-errors #gnat #gcc #ada #c
#ada #programming #linker #gnat #gcc #c
· @AdaPlanet
72 followers · 2786 posts · Server botsin.space
Could not find gnatmake binary after MacOS installation https://stackoverflow.com/questions/76664861/could-not-find-gnatmake-binary-after-macos-installation #ada #programming #makefile #macos #gnat #ghdl #ada
#ada #programming #makefile #macos #gnat #ghdl
· @AdaPlanet
64 followers · 2670 posts · Server botsin.spaceBug in GNAT Get(FRom => SomeString, Item => SomeInteger, Last => Last)? https://stackoverflow.com/questions/76317638/bug-in-gnat-getfrom-somestring-item-someinteger-last-last #ada #programming #string #input #gnat #ada
#ada #programming #string #input #gnat
· @AdaPlanet
64 followers · 2670 posts · Server botsin.space
Errors trying to run gnattest https://stackoverflow.com/questions/76238079/errors-trying-to-run-gnattest #ada #programming #gnat #ada
· @AdaPlanet
64 followers · 2670 posts · Server botsin.space
Getting the error "error: No index.toml file found in index", when trying to do "alr get gnat_native" and "alr get gprbuild" on Debian https://stackoverflow.com/questions/76192075/getting-the-error-error-no-index-toml-file-found-in-index-when-trying-to-do #ada #programming #gprbuild #debian #linux #gnat #ada
#ada #programming #gprbuild #debian #linux #gnat
· @AdaPlanet
56 followers · 2568 posts · Server botsin.space
Create a record with a private part https://stackoverflow.com/questions/75895651/create-a-record-with-a-private-part #ada #programming #gnat #ada
· @AdaPlanet
54 followers · 2529 posts · Server botsin.space
Is there a way to disable arithmetic operators on a specific type in Ada? https://stackoverflow.com/questions/75738455/is-there-a-way-to-disable-arithmetic-operators-on-a-specific-type-in-ada #ada #programming #types #gnat #ada
#ada #programming #types #gnat
LisPi · @lispi314
341 followers · 5060 posts · Server mastodon.top
@dekkzz76 @screwtape @cguess @rysiek Yeah, #GNAT (https://en.wikipedia.org/wiki/GNAT) which is part of the GNU Compiler Collection (#GCC).
AdaCore provides a number of free resources on top of that as well as commercial resources.
dubst3pp4 🎧️ · @dubst3pp4
259 followers · 1512 posts · Server mastodon.sdf.orgIs there anyone who got #Ada + #Alire + #Vim + #VimLsp working? #AdaProgrammingLanguage #AdaProgLang #GNAT
#ada #alire #vim #VimLsp #adaprogramminglanguage #adaproglang #gnat
Daily Term of Venery · @termofvenery
194 followers · 83 posts · Server universeodon.com
A group of #gnats is called a cloud.
A cloud of gnats.
#TermsOfVenery #AnimalGroupNames #animals #wildlife #nature #english #AnimalGroupingNouns #trivia #fun #words #gnat #insects
#gnats #termsofvenery #animalgroupnames #animals #wildlife #Nature #english #animalgroupingnouns #trivia #fun #words #gnat #insects
LisPi · @lispi314
197 followers · 2945 posts · Server mastodon.top
· @AdaPlanet
60 followers · 2474 posts · Server botsin.spaceColdFrame and the micro:bit revisited https://forward-in-code.blogspot.com/2023/02/coldframe-and-microbit-revisited.html #ada #programming #coldframe #microbit #gnat #ada #arm
#ada #programming #coldframe #microbit #gnat #arm
· @AdaPlanet
60 followers · 2462 posts · Server botsin.space
Error setting the video mode when trying to run the compiled Game_Support example; GNAT Studio; https://stackoverflow.com/questions/75356454/error-setting-the-video-mode-when-trying-to-run-the-compiled-game-support-exampl #ada #programming #gnat-gps #sdl-2 #gnat #sdl #ada
· @AdaPlanet
59 followers · 2444 posts · Server botsin.space
MCDC coverage is not generating in "GNAT AUNIT" framework https://stackoverflow.com/questions/75231784/mcdc-coverage-is-not-generating-in-gnat-aunit-framework #ada #programming #mc-dc #aunit #gnat #ada
#ada #programming #mc #aunit #gnat
· @AdaPlanet
59 followers · 2440 posts · Server botsin.space
Test harness file is not creating for generic "when trying to test with generic instance" https://stackoverflow.com/questions/75207342/test-harness-file-is-not-creating-for-generic-when-trying-to-test-with-generic #ada #programming #ada95 #aunit #gnat #ada
#ada #programming #ada95 #aunit #gnat
Mike Turner · @miketurner
11 followers · 46 posts · Server ohai.social
Throwback Thursday, looks like Brands Hatch I think, photos credited to John Elwin…
#ThrowbackThursday #RedArrows #BrandsHatch #Airshow #Gnat #avgeek #aviation #flying
#throwbackthursday #redarrows #brandshatch #airshow #gnat #avgeek #aviation #flying
Akira Sakurai · @AkrSakr
174 followers · 179 posts · Server mas.toWe brought flower pots indoors because of the cold weather and found fungus gnats coming out of the soil. It is a very irritating insect, so I dissected it.
植木鉢を屋内に入れたところ土から出てきたとおもわれる小さなキノコバエがちらほらと現れました。よって解剖です
#gnat #insects #biology #dissection