As far as how to do this within an existing cmake project,
unfortunately, there doesn't seem to be a clear/easy way. The only
cmake example I can think off of the top of my head is cvc5. It still
uses setup.py though, so not a great future-looking example (and I had
to patch it to build the P
Thanks!! I'll answer to the last comment but I appreciate everyone's input!
Hello again Ivan (different neighborhood :)),
:)))
The "modern" way of building Python libraries/applications seems to be to
> use a pyproject.toml. The pyproject.toml specifies a backend build system
> that knows how t
On Tue, 5 Dec 2023, Ivan Perez wrote:
Hi everyone!
I'm currently trying to bring a tool we have at NASA Ames up to speed:
https://github.com/NASA-SW-VnV/ikos
IKOS is a static analyzer for C. I'm really hoping that IKOS can be included
in Debian in the near future.
IKOS is implemented as a C+
Hello,
I guess you plan on maintaining it yourself.
You should do an "Intention to package" bug, you do that running:
reportbug wnpp
There is a tool called "lintian" that you will probably find useful to check
your packaging, as you get it into shape.
I'd recommend the debian-mentors IRC chan
Hello Ivan,
I am not an expert in Python Packaging and also not in Debian-specific
Packaging of Python stuff. So please take my advice with care. But I do
have some experience and did a lot of experiments.
When it comes to pure Python Packaging I would suggest my demo
repository. It is not f
On Tue, Dec 05, 2023 at 02:10:01AM -0800, Ivan Perez wrote:
> Hi everyone!
>
> I'm currently trying to bring a tool we have at NASA Ames up to speed:
> https://github.com/NASA-SW-VnV/ikos
>
> IKOS is a static analyzer for C. I'm really hoping that IKOS can be
> included in Debian in the near futu
6 matches
Mail list logo
