Groups > linux.debian.maint.python > #15326

Recommended way of installing system-wide python application and libraries

Path	csiph.com!1.us.feeder.erje.net!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!fu-berlin.de!bofh.it!news.nic.it!robomod
From	Ivan Perez <ivanperezdominguez@gmail.com>
Newsgroups	linux.debian.maint.python
Subject	Recommended way of installing system-wide python application and libraries
Date	Tue, 05 Dec 2023 11:20:02 +0100
Message-ID	<HHAH0-bmY5-3@gated-at.bofh.it> (permalink)
X-Mailbox-Line	From debian-python-request@lists.debian.org Tue Dec 5 10:11:03 2023
Old-Return-Path	<ivanperezdominguez@gmail.com>
X-Amavis-Spam-Status	No, score=-5.109 tagged_above=-10000 required=5.3 tests=[BAYES_00=-2, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FOURLA=0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=2, LDO_WHITELIST=-5, RCVD_IN_DNSWL_NONE=-0.0001, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=no autolearn_force=no
X-Policyd-Weight	using cached result; rate: -5.5
X-Gm-Message-State	AOJu0YxyawMSLYYkgVFMuoLbO6bp7sLJYU701HghWGgpe1ezcDaInw/Z se+v+hbjQU1CIC+Jr1BrxtWZjzVbhWuurOcm1+iOo5nK3f0=
X-Google-SMTP-Source	AGHT+IEeHSg4hxQFGfxgKb7ROFeJWna+umGaODd/7z5yOmqaIvR8odDfY89HOaP54yyb69QQyaZq0k1uZRmUsg3UJSA=
X-Received	by 2002:a2e:8841:0:b0:2c9:caf6:cc87 with SMTP id z1-20020a2e8841000000b002c9caf6cc87mr2821875ljj.21.1701771038075; Tue, 05 Dec 2023 02:10:38 -0800 (PST)
MIME-Version	1.0
Content-Type	multipart/alternative; boundary="00000000000036b0fd060bc07286"
X-Mailing-List	<debian-python@lists.debian.org> archive/latest/21265
List-ID	<debian-python.lists.debian.org>
List-URL	<https://lists.debian.org/debian-python/>
List-Archive	https://lists.debian.org/msgid-search/CACZKWEJiS9bCaVLcdCnAV+Wu03XabJGRjZBTuS5RFHdBGX+Ucg@mail.gmail.com
Approved	robomod@news.nic.it
Lines	65
Organization	linux.* mail to news gateway
Sender	robomod@news.nic.it
X-Original-Date	Tue, 5 Dec 2023 02:10:01 -0800
X-Original-Message-ID	<CACZKWEJiS9bCaVLcdCnAV+Wu03XabJGRjZBTuS5RFHdBGX+Ucg@mail.gmail.com>
Xref	csiph.com linux.debian.maint.python:15326

Show key headers only | View raw

[Multipart message — attachments visible in raw view] - view raw

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++ library, and a number of python
tools/wrappers. The tools call mains in modules defined in a python library
`ikos`.

As of right now, our CMakeFiles attempt to install everything (by default)
under /opt/ikos/.

I'm having lots of issues getting the python portions installed
system-wide. I initially upgraded distutils to setuptools, but a recent
update is now asking that I use a venv. More details and a link to a
dockerfile can be found here:
https://github.com/NASA-SW-VnV/ikos/discussions/241.

While I can hack a solution that "works" (either by making a venv under the
target dir or by means of break-system-packages), I'd prefer to use
recommended practices, and also conform to the way that things are done in
Debian/Ubuntu.

What would be the recommended way of installing IKOS system-wide in Debian?

Thanks,

Ivan

PS. Apologies if this is considered off-topic for this list.

Back to linux.debian.maint.python | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Recommended way of installing system-wide python application and libraries Ivan Perez <ivanperezdominguez@gmail.com> - 2023-12-05 11:20 +0100
  Re: Recommended way of installing system-wide python application and  libraries Andrey Rakhmatullin <wrar@wrar.name> - 2023-12-05 11:30 +0100
  Re: Recommended way of installing system-wide python application  and libraries c.buhtz@posteo.jp - 2023-12-05 13:30 +0100
    Re: Recommended way of installing system-wide python application and  libraries Salvo Tomaselli <tiposchi@tiscali.it> - 2023-12-05 17:50 +0100
  Re: Recommended way of installing system-wide python application  and libraries Scott Talbert <swt@techie.net> - 2023-12-08 01:30 +0100
    Re: Recommended way of installing system-wide python application and libraries Ivan Perez <ivanperezdominguez@gmail.com> - 2023-12-18 00:30 +0100

csiph-web