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>
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

--00000000000036b0fd060bc07286
Content-Type: text/plain; charset="UTF-8"

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.

--00000000000036b0fd060bc07286
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Hi everyone!</div><div><br></div><div>I&#39;m current=
ly trying to bring a tool we have at NASA Ames up to speed:</div><div></div=
><div><a href=3D"https://github.com/NASA-SW-VnV/ikos" target=3D"_blank">htt=
ps://github.com/NASA-SW-VnV/ikos</a></div><div><br></div><div></div><div>IK=
OS is a static analyzer for C. I&#39;m really hoping that IKOS can be inclu=
ded in Debian in the near future.</div><div><br></div><div>IKOS is implemen=
ted as a=C2=A0 C++ library, and a number of python tools/wrappers. The tool=
s call mains in modules defined in a python library `ikos`.</div><div><br><=
/div><div>As of right now, our CMakeFiles attempt to install everything (by=
 default) under /opt/ikos/.<br></div><div><br></div><div>I&#39;m having lot=
s 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: <a h=
ref=3D"https://github.com/NASA-SW-VnV/ikos/discussions/241">https://github.=
com/NASA-SW-VnV/ikos/discussions/241</a>.</div><div><br></div><div>While I =
can hack a solution that &quot;works&quot; (either by making a venv under t=
he target dir or by means of break-system-packages), I&#39;d prefer to use =
recommended practices, and also conform to the way that things are done in =
Debian/Ubuntu.<br></div><div><br></div><div>What would be the recommended w=
ay of installing IKOS system-wide in Debian?</div><div><br></div><div>Thank=
s,</div><div><br></div><div>Ivan</div><div><br></div><div>PS. Apologies if =
this is considered off-topic for this list.<br></div></div>

--00000000000036b0fd060bc07286--