Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.maint.python > #15327
| Path | csiph.com!weretis.net!feeder8.news.weretis.net!fu-berlin.de!bofh.it!news.nic.it!robomod |
|---|---|
| From | Andrey Rakhmatullin <wrar@wrar.name> |
| Newsgroups | linux.debian.maint.python |
| Subject | Re: Recommended way of installing system-wide python application and libraries |
| Date | Tue, 05 Dec 2023 11:30:01 +0100 |
| Message-ID | <HHAQF-bn3r-15@gated-at.bofh.it> (permalink) |
| References | <HHAH0-bmY5-3@gated-at.bofh.it> |
| X-Mailbox-Line | From debian-python-request@lists.debian.org Tue Dec 5 10:21:35 2023 |
| Old-Return-Path | <wrar@wrar.name> |
| X-Amavis-Spam-Status | No, score=-7.11 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, LDO_WHITELIST=-5, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no |
| MIME-Version | 1.0 |
| Content-Type | text/plain; charset=utf-8 |
| Content-Disposition | inline |
| X-Mailing-List | <debian-python@lists.debian.org> archive/latest/21266 |
| List-ID | <debian-python.lists.debian.org> |
| List-URL | <https://lists.debian.org/debian-python/> |
| List-Archive | https://lists.debian.org/msgid-search/ZW75lzUJU4VwyWM0@durkon.wrar.name |
| Approved | robomod@news.nic.it |
| Lines | 39 |
| Organization | linux.* mail to news gateway |
| Sender | robomod@news.nic.it |
| X-Original-Date | Tue, 5 Dec 2023 11:21:11 +0100 |
| X-Original-Message-ID | <ZW75lzUJU4VwyWM0@durkon.wrar.name> |
| X-Original-References | <CACZKWEJiS9bCaVLcdCnAV+Wu03XabJGRjZBTuS5RFHdBGX+Ucg@mail.gmail.com> |
| Xref | csiph.com linux.debian.maint.python:15327 |
Show key headers only | View raw
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 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? This answer may not be useful for you but the only recommended way of installing Python modules system-wide is by making a proper Debian package for them using proper Debian Python packaging helpers, and the only other recommended way of installing Python modules is venvs. If I needed to install this I would use either of these two, depending on whether I actually need to have it system-wide and whether I want an official package uploaded to Debian. Alternatively, as you mentioned /opt, if the software supports installing *everything* in /opt (maybe it adds that to sys.path when it runs), then doing that is also fine (as it doesn't touch things outside /opt and cannot break those).
Back to linux.debian.maint.python | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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