TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

First beta release of Alire, the package manager for Ada/SPARK

86 pointsby meowphiusover 4 years ago

8 comments

csb6over 4 years ago
This seems useful. One thing Ada has been lacking is a central place to upload and use dependencies.<p>However, I’ve found that pure Ada code without a package manager is pretty easy to integrate using the gprbuild tool; you just copy the dependency’s .ads and .adb files into your project and add their enclosing folder to the list of source directories. gprbuild figures our how to build them pretty much automatically.<p>So I wish that instead of using TOML files, the dependencies would be specified in the gprbuild project files themselves. The syntax&#x2F;options of GPR files would probably have to be extended, but it would be nice to have only one layer of config files that contains everything needed to build an Ada library&#x2F;project.
评论 #24998821 未加载
评论 #24958282 未加载
评论 #24965567 未加载
评论 #24957320 未加载
e12eover 4 years ago
&gt; There is also a net­work graph view of the Alire ecosys­tem: <a href="https:&#x2F;&#x2F;alire.ada.dev&#x2F;network" rel="nofollow">https:&#x2F;&#x2F;alire.ada.dev&#x2F;network</a><p>Nice! Is there something similar for other languages?
touisteurover 4 years ago
All I hope is that they&#x27;ll think about corporate firewalls and provide a simple way to mirror the whole thing (including their gnat-subscriber-only &amp; tools&amp;libs versions). Or at least provide some kind of Web page with all the download links for the transitive dependencies for a package...<p>PYPI kills me everytime I need to run any ML stuff, and I wish there was a systematic page to d&#x2F;l all transitive dependencies (at least from requirements files and maybe setup.py static interpretation...)
评论 #24960292 未加载
评论 #24960040 未加载
ajxsover 4 years ago
This is a great thing for the Ada community. I hope this encourages more contribution and collaboration on libraries that keep Ada useful for mainstream development.
mcguireover 4 years ago
It appears they may need more metadata about packages.<p>The example &quot;Finding an Ada PDF library&quot; is <a href="https:&#x2F;&#x2F;alire.ada.dev&#x2F;search&#x2F;?q=pdf" rel="nofollow">https:&#x2F;&#x2F;alire.ada.dev&#x2F;search&#x2F;?q=pdf</a>. That leads to <a href="https:&#x2F;&#x2F;alire.ada.dev&#x2F;crates&#x2F;apdf.html" rel="nofollow">https:&#x2F;&#x2F;alire.ada.dev&#x2F;crates&#x2F;apdf.html</a>, with<p><pre><code> Apdf Standalone, portable package for producing dynamically PDF documents Author: Gautier de Montmollin Maintainer: fabien.chouteau@gmail.com License: MIT Version: 5.0.0 Dependencies: No dependency. Tags: No tags. Badge: [Copy image location: https:&#x2F;&#x2F;img.shields.io&#x2F;endpoint?url=https:&#x2F;&#x2F;alire.ada.dev&#x2F;badges&#x2F;apdf.json] </code></pre> Searching for Apdf points to <a href="http:&#x2F;&#x2F;www.a-pdf.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.a-pdf.com&#x2F;</a>, which doesn&#x27;t look like it&#x27;s Ada-ish. Is Apdf <a href="https:&#x2F;&#x2F;apdf.sourceforge.io&#x2F;" rel="nofollow">https:&#x2F;&#x2F;apdf.sourceforge.io&#x2F;</a>? [Ah, yes it is.]
MaxBarracloughover 4 years ago
Congratulations to all involved, this looks like a great addition to the Ada ecosystem.<p>I like the use of tags to clarify which projects are in SPARK.<p>I realise it&#x27;s in beta, but, some feedback: on the linked <i>Crates</i> page, there doesn&#x27;t seem to be a way to browse the source of the projects. I was expecting to be able to click a link and be taken to something akin to a GitHub page, but this doesn&#x27;t seem to be possible. Some of the crates link to project home pages.<p>Also, it would be neat if the <i>Network graph</i> page showed which projects were in SPARK, perhaps by using colour.
评论 #24965557 未加载
inambercladover 4 years ago
&#x27;Bout time! A lack of 3rd party libraries is a sticking point for a lot of Ada projects I&#x27;d like to do. The first party libraries are great though.
pabs3over 4 years ago
Is Ada a staticly linked language?
评论 #24958319 未加载
评论 #24957991 未加载