Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    ethin
    @ethindp:the-gdn.net
    [m]
    It should work fine. As long as you don't publish your sub-crates to the alire index, only your project can include them
    2 replies
    You can control privacy from within Ada though by using private packages and private with.
    Manuel Hatzl
    @mhatzl:matrix.org
    [m]
    Am I understanding "The privacy of the package means that it can only be used by equally private client units." correctly, so that those private child packages cannot be used in the parent?
    Or is it possible to use it in the body of the parent, because "bodies are never public"?
    ethin
    @ethindp:the-gdn.net
    [m]
    I'm pretty sure its possible to use it from within the body of the parent too. But the package cannot be with'd by an external library unit
    Irvise
    @irvise:matrix.irvise.xyz
    [m]

    Dear Ada community,

    Our proposal for an Ada Developer Room for FOSDEM 2023 has been declined. I asked whether we could have a virtual DevRoom just like in FOSDEM 2022, but it seems unlikely. This means Ada will (most likely) not take part in the new edition of FOSDEM. We are saddened by this decision, but the amount of proposals was indeed very large: 88 DevRoom proposals were submitted!

    Nonetheless, we would like to encourage Ada developers to submit presentations to other DevRooms that may fit your interests! You can find the accepted DevRooms in [1]. I think the rooms that could be of interests to the Ada community are "Confidential Computing", "Embedded, Mobile and Automotive", "FOSS Educational Programming Languages", "Microkernel and Component-based OS", "Open Source Firmware, BMC and Bootloader" and "Security". However, take a look at all the proposals! Maybe you are writing some RISC-V or networking software in Ada, and there is a DevRoom just for it! Please keep the AdaFOSDEM mailing list [2] informed about submissions and definitely about accepted proposals: we'll build a consolidated list of Ada-related talks at FOSDEM 2023, as we did before [3]. If you have any questions or issues, we will gladly help you where we can.

    We are also happy to announce that Ada-Europe [4], after learning that there would be no Ada DevRoom in FOSDEM, has opened the possibility of adding a new "DevRoom like" track in their 2023 conference [5]. The Ada-Europe conference will take place in Lisbon between the 13 and 16 of June, 2023. If you are interested in this possibility, please, contact Dirk Craeynest Dirk.Craeynest@cs.kuleuven.be to let him know.

    Best regards,
    The Ada FOSDEM team

    [1] https://fosdem.org/2023/news/2022-11-07-accepted-developer-rooms/
    [2] http://listserv.cc.kuleuven.be/archives/adafosdem.html
    [3] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/21/210206-fosdem.html
    [4] http://www.ada-europe.org/
    [5] http://www.ada-europe.org/conference2023/cfp.html

    Barry Houser
    @barryhouser:matrix.org
    [m]
    It's their loss.
    Barry Houser
    @barryhouser:matrix.org
    [m]

    I am trying to specify a series of discontinuous indices for an array:

      subtype PIN_SEL_Index is Positive with
    Static_Predicate => PIN_SEL_Index in 0 .. 4 | 7 | 9 | 10;

    The compiler complains:

    error: subtype "PINSEL_Register_Index" has predicate, not allowed as index subtype

    Is there a reason why this isn't allowed? Is there an alternative?

    7 replies
    Barry Houser
    @barryhouser:matrix.org
    [m]
    What? Ada has some trippy syntax and semantics at a spooky distance! It raises more questions. First, are the indices Bar ordinal, actual position in the array, or nominal, just a name but isn't the actual position (i.e. maps to the contiguous range)? Second, 'First_Valid...'Last_Valid is a surprise. How is it different from 'First..'Last? Finally, can Bar contain a static predicate?
    1 reply
    Barry Houser
    @barryhouser:matrix.org
    [m]
    Thanks.
    Barry Houser
    @barryhouser:matrix.org
    [m]
    Wait a second. Ada overloads syntax keywords all over the place but for predicates, it introduces the attributes 'First_Valid...'Last_Valid instead of recycling 'First...'Last? Does the latter work with predicates also? If so, how are they different?
    ethin
    @ethindp:the-gdn.net
    [m]
    First and Last gives you the bounds of the type/subtype without taking into account the predicates of that type/subtype. First_Valid/Last_Valid takes into account the predicates of the type/subtype.
    1 reply
    Barry Houser
    @barryhouser:matrix.org
    [m]
    For MCUs, where is the delay/delay until "operations" defined? They appear to be baked into Ada.
    4 replies
    Barry Houser
    @barryhouser:matrix.org
    [m]
    OK. I thought it would be a nice to have in the LightRuntime.
    Steven Bos
    @aiunderstand
    image.png
    @barryhouser:matrix.org . For MCU delay until is defined in the arm-eabi folder (if targetting ARM), see screenshot
    If you change anything in those files you need to gprbuild the runtime again
    Irvise
    @irvise:matrix.irvise.xyz
    [m]
    @aiunderstand: that is the Ravenscar-full profile :) That is like a small RTOS on its own and tends to be a bit customized for each board. I suppose ARM is fairly portable in that regard.
    ethin
    @ethindp:the-gdn.net
    [m]
    Well, to be more precise, a date, a time, a date and time, and so on and so forth. I don't think a simple timer would suffice for that. But if you just wanted to delay and no delay until, you could throw program_error when a delay until statement is found and you could just rely on relative delays
    Paul Jarrett
    @pyjarrett
    https://www.youtube.com/watch?v=M4Gsl8sVgdQ
    "The Sociology of Programming Languages" by Leo Meyerovich, from Strange Loop
    2 replies
    ajdude
    @ajdude:matrix.org
    [m]

    Just an update, the alire installer I've been working on compiles and installs Alire on

    • x86_64 and aarch64 MacOS
    • x86_64 Linux (via WSL)
    • x86_64 Windows (it just bails out, but it WILL compile lol)

    I still need to test it on a couple other versions of linux + freebsd, but I should have something on github shortly for more people to test.

    4 replies
    ajdude
    @ajdude:matrix.org
    [m]
    :point_up: Edit: Just an update, the alire installer I've been working on compiles and installs Alire on
    • x86_64 and aarch64 MacOS
    • x86_64 Linux (via WSL)
    • x86_64 Windows (it just bails out, but it WILL compile lol)
    I still need to test it on a couple other versions of linux, but I should have something on github shortly for more people to test.
    Jeremy Grosser
    @JeremyGrosser
    fyi, I created a new category on the Ada forum for Advent of Code https://forum.ada-lang.io/t/about-the-advent-of-code-category/112
    ethin
    @ethindp:the-gdn.net
    [m]
    So I've got a bit of a question involving subunits. If I have an overloaded subprogram, but I want all overloads of that subprogram to also be subnits, how does gnat handle it? Does it require that all the functions of same name but differing profiels be in one file, or do I have to do something special like put numbers in the file name or something?
    Смаколик
    @cmakoluk:matrix.org
    [m]

    The defining_identifiers of all body_stubs that appear immediately within a particular declarative_part shall be distinct.

    So you can't two overloading subprograms to be subunits.

    1 reply
    https://ada-lang.io/docs/arm/AA-10/AA-10.1#p14
    jere
    @jere1227_twitter
    what you do is in your gpr file indicate which one of the subunit bodies is the body of your spec based on a build switch
    See the example here: https://sourceforge.net/p/gnoga/code/ci/dev_2.1/tree/src/gnoga.gpr
    package Naming
    Steve Biedermann
    @hardliner66
    Hi, does anybody know if there is a simple way to cross-compile ada for armv7?
    I already found a tutorial using alire and gnat_arm_elf, but I couldn't get it to work on our dev board (imxsx with a cortex a9).
    is there any way without writing my own runtime? like a flag or something? :s
    Jeremy Grosser
    @JeremyGrosser
    I don't think there's a simple answer to that question
    you can try to use the bare_runtime with -march=armv7-a
    if you don't want to port bb-runtimes, then your best option is to run Linux or an RTOS
    Jeremy Grosser
    @JeremyGrosser
    getting the Cortex-A processors going is a bit more complicated than Cortex-M. There will be a few stages of bootloaders that need to do things like initialize the DRAM controller and load your ELF into memory... Usually you'd use something like u-boot for that.
    it looks like i.MXS is a very old chip... I'm not sure it's worth the effort unless you have some existing hardware you absolutely cannot change
    Steve Biedermann
    @hardliner66
    we use a custom built yocto linux
    changing it is not really a possibility. our board is deployed a few 100000 times at the very least. We have older boards too, but right now i'm just checking if we can run ada code at all
    Simon Wright
    @simonjwright
    @hardliner66, you presumably have a host environment, I’m guessing Linux, where you cross-build code to run under Linux on your target board. If you can run GNAT on your host, you’re I’d expect most of the way there.
    You might find the basis of an approach in the first half of this script runs an x86_64 Ada-capable compiler (on an M1 Mac; not sure this is necessary) to build an x86_64 cross compiler to aarch64 (Apple silicon), which might be all you need; the second part uses that to build a native aarch64 compiler, which you wouldn’t need unless you want to compile on the target.
    Of course, there’s a whole load of mac-isms in there!
    Steve Biedermann
    @hardliner66
    Thanks a lot. I'll have a look.
    Simon Wright
    @simonjwright
    I think I may have failed to mention a couple of points:
    Macs (x86_64, aarch64) are very very similar; you’ll probably need to have a copy of the target libraries on the host system; the last time I did this was in 2005 or so, linux / vxworks 5.3
    In all cases, building a cross-compiler is best if you have a host compiler built from the same sources.
    1 reply
    ethin
    @ethindp:the-gdn.net
    [m]
    I feel like we need an Ada compiler that's purely LLVM-based so we can avoid the msys2 weirdness on windows. Or try to. I just set up Alire using the installer and bash kept giving memory sigbase mismatches or something like that... The error was the familiar 0 [main] bash (2588) C:\Users\ethin\.cache\alire\msys64\usr\bin\bash.exe: *** fatal error - cygheap base mismatch detected - 0x1289408/0x11D9408. The fact that errors like this still happen is just ridiculous IMO.
    The odd thing is that I don't really have multiple cygwin installs on here. I mean I have the coreutils package and related friends from Scoop.sh but still...
    Ah, it seems to be ASLR related. Will go mess with that -- though why these binaries don't have ASLR enabled by default nowadays is beyond me
    ajdude
    @ajdude:matrix.org
    [m]

    I've published the initial release of an installer for alire: https://github.com/AJ-Ianozi/getada

    I try to be clear in the readme, and I put some more details here: https://www.reddit.com/r/ada/comments/yzx6hz/getada_an_unofficial_installer_for_alire/

    Смаколик
    @cmakoluk:matrix.org
    [m]
    https://fosstodon.org/@makszu/109376193692385562
    1 reply
    Jaypatelani
    @Jaypatelani:matrix.org
    [m]
    Irvise: do you think AURA needs to be in pkgsrc? https://annexi-strayline.com/blog/posts/4 or gcc-aux is enough for now ?
    3 replies
    Irvise
    @irvise:matrix.irvise.xyz
    [m]
    With that, we would have a base to do pretty much the rest.
    Maxim Reznik
    @reznikmm
    Advent of Code - an online programming challenge has started today. Join us with Ada (or even SPARK) solutions and have a fun! 🥳
    1 reply