Re: [gentoo-portage-dev] erroneous behavior in 2-style USE dependencies?

2020-06-17 Thread Michael Lienhardt
Le 17/06/2020 à 08:15, Michał Górny a écrit : On Tue, 2020-06-16 at 23:07 +, Michael Lienhardt wrote: Dear all, My bad for not noticing it sooner, but when there is a dependency like ">=sys-fs/udev-208-r1:0/0[static-libs?]" (that occurs in virtual/libgudev-215-r3),

Re: [gentoo-portage-dev] erroneous behavior in 2-style USE dependencies?

2020-06-17 Thread Michael Lienhardt
Le 17/06/2020 à 10:35, Ulrich Mueller a écrit : On Wed, 17 Jun 2020, Michael Lienhardt wrote: But maybe, "error" here in the PMS mean "the cpvs without the use flag does not match that dependency and a warning should be raised to improve compatibility in the future". In

Re: [gentoo-portage-dev] erroneous behavior in 2-style USE dependencies?

2020-06-17 Thread Michael Lienhardt
On 6/17/20 1:25 AM, Zac Medico wrote: > On 6/16/20 7:47 PM, Michael Lienhardt wrote: >> >> >> On 6/16/20 11:59 PM, Zac Medico wrote: >>> On 6/16/20 6:38 PM, Michael Lienhardt wrote: >>>> With the first version of DEPEND, emerge succee

Re: [gentoo-portage-dev] erroneous behavior in 2-style USE dependencies?

2020-06-16 Thread Michael Lienhardt
On 6/16/20 11:59 PM, Zac Medico wrote: > On 6/16/20 6:38 PM, Michael Lienhardt wrote: >> With the first version of DEPEND, emerge succeed: >> # emerge -pv app-misc/dummy-master >> >> These are the packages that would be merged, in order: >> >> Calculat

Re: [gentoo-portage-dev] erroneous behavior in 2-style USE dependencies?

2020-06-16 Thread Michael Lienhardt
On 6/16/20 9:31 PM, Zac Medico wrote: > On 6/16/20 11:07 PM, Michael Lienhardt wrote: >> I'm sorry, my client didn't allow to send plain text email anymore... >> >> So, here is my original email. >> >> Dear all, >> >> My bad for not noticing i

Re: [gentoo-portage-dev] erroneous behavior in 2-style USE dependencies?

2020-06-16 Thread Michael Lienhardt
I'm sorry, my client didn't allow to send plain text email anymore... So, here is my original email. Dear all, My bad for not noticing it sooner, but when there is a dependency like ">=sys-fs/udev-208-r1:0/0[static-libs?]" (that occurs in virtual/libgudev-215-r3), since 'static-libs' is not

Re: [gentoo-portage-dev] precisions on installed packages' dependencies

2020-03-30 Thread michael . lienhardt
- Alec Warner a écrit : > Sorry I'm being overly academic. My concern earlier is that you mentioned a > goal of "never breaking installed packages' which I found to be a fairly > audacious goal. The idea is that we should build tools that achieve this > practically (e.g. via heuristics

Re: [gentoo-portage-dev] precisions on installed packages' dependencies

2020-03-27 Thread michael . lienhardt
- Alec Warner a écrit : > On Tue, Mar 24, 2020 at 11:31 AM wrote: > > However, I still doubt that only storing the soname dependencies is enough. > > Consider package A (that cannot be recompiled) that depends on package B > > which provides lib L.so. > > B is recompiled with different use

Re: [gentoo-portage-dev] precisions on installed packages' dependencies

2020-03-24 Thread michael . lienhardt
- Zac Medico a écrit : > > The goal of my tool is to have correct manipulation of package > > dependencies, and in particular here, I focus on the packages that are > > installed but not in the portage tree/a local overlay anymore (the problem > > does not occur for other packages). > >

Re : Re: [gentoo-portage-dev] precisions on installed packages' dependencies

2020-03-23 Thread michael . lienhardt
- Zac Medico a écrit : > > 3. before removing a library, "ebuild unmerge" always checks if it is used > > by another package: this means that installed packages' dependencies are > > never broken. > > That's true if the package is removed via emerge --depclean, but emerge > --unmerge

[gentoo-portage-dev] precisions on installed packages' dependencies

2020-03-22 Thread michael . lienhardt
Dear all, Still in the process of improving my solver (and make it a usable tool), I need to have a better idea on how installed packages should be managed. I didn't find anything on that topic in the PMS (if I've missed it, I'm sorry). Could you confirm/correct my following understanding: 1.

[gentoo-portage-dev] Constraint-Based Dependency Solver: initial results

2019-08-30 Thread michael . lienhardt
Dear all, It's possible that the goal of my current work and its possible benefit for the gentoo community are not very clear. In my experience, emerge is a very good tool to install new packages whose use flags have already been configured. However, when the packages are not correctly

Re : Re: [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: again

2019-06-21 Thread michael . lienhardt
- Zac Medico a écrit : > It's capable of considering older versions, but maybe there's some > deficiency in the algorithm. We should analyze a specific example in > order to understand the behavior. > > Maybe you're referring to this code which forces the highest version in > the event of

[gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: again

2019-06-20 Thread michael . lienhardt
Dear all, A few months ago, I got back to my constraint-based dependency solver for portage, that I had to leave for a while. Thanks to Zac Medico, it is now based on portage itself to query the portage tree, and so the code is far simpler (and far less buggy). It is on github:

[gentoo-dev] details on the PMS

2018-02-23 Thread Michael Lienhardt
while it is named metadata/md5-cache in my repository. Should I report something on the Gentoo Bugzilla? Best, Michael Lienhardt

Re: [gentoo-dev] Questions on overlays, repositories and PMS

2018-02-23 Thread Michael Lienhardt
eems to me that portage's current effort is to have all configuration files in /etc/portage or in the profile. Best, Michael Lienhardt

Re: [gentoo-dev] Questions on overlays, repositories and PMS

2018-02-23 Thread Michael Lienhardt
e repository is user-defined and not distributed to anyone. But in this case too, it makes more sense to me to have repository-specific data declared locally in the repository itself. Best, Michael Lienhardt

[gentoo-dev] Questions on overlays, repositories and PMS

2018-02-23 Thread Michael Lienhardt
of the eclass)? 4. is the "masters" attribute in /etc/portage/repos.conf make the repository inherit other data than the eclasses? 5. since every repos can have a profiles/categories file, is the file /etc/portage/categories obsolete (or should it be)? Best Regards, Michael Lienhardt

Re: [gentoo-dev] EAPI 7 in Portage needs YOU!

2018-02-19 Thread Michael Lienhardt
afterward - will package A break? Michael Lienhardt

Re: [gentoo-dev] EAPI 7 in Portage needs YOU!

2018-02-19 Thread Michael Lienhardt
stead." Is it a "or", like the "any-of" group, but with a different behavior at compiling/linking time? Michael Lienhardt

Re: [gentoo-dev] Re: SAT-based dependency solver: request for test cases

2018-02-13 Thread Michael Lienhardt
rsion" criteria needs to be after criteria "less keyword and mask change". - just to be sure, the "less keyword and mask change" criteria is at the top of the list? Best regards, Michael Lienhardt

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-12 Thread Michael Lienhardt
(I've heard some people talking about it), or about a next version of the PMS. I'll finish my prototype as soon as possible and see what the tests will tell. Best regards, Michael Lienhardt Il 10/02/2018 09:20, Michał Górny ha scritto: W dniu wto, 06.02.2018 o godzinie 11∶52 +0100, użytkownik

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-12 Thread Michael Lienhardt
the tests, which I still need to set up... I'll definitively get back to you soonish. Thanks! Michael Il 08/02/2018 20:57, Toralf Förster ha scritto: On 02/06/2018 11:52 AM, Michael Lienhardt wrote: To help, you can send us the tar generated by this bash script: https://raw.githubusercontent.com

Re: [gentoo-dev] Last Rites: Dead X11 packages

2018-02-08 Thread Michael Lienhardt
Il 08/02/2018 16:04, James Le Cuirot ha scritto: Citing Kenneth Hoste at FOSDEM this year: modifying a package without changing its version is a bad idea. His presentation was very good (video included): https://fosdem.org/2 018/schedule/event/how_to_make_package_managers_cry/ This isn't so

Re: [gentoo-dev] Last Rites: Dead X11 packages

2018-02-08 Thread Michael Lienhardt
From e590965cdeb0c921194740da0481c85afaa1ebae Mon Sep 17 00:00:00 2001 From: Matt Turner Date: Tue, 6 Feb 2018 14:02:59 -0800 Subject: x11-base/xorg-server: Remove dead x11-proto/xf86rushproto dependency rushproto hasn't been required since upstream commit 8ec79e05feac

Re: [gentoo-dev] Re: SAT-based dependency solver: request for test cases

2018-02-07 Thread Michael Lienhardt
g anything that unusual anyway? Send it in :). If I have problems with it, I may not fix the bugs right away, but at least I would know about it. Thanks, Michael Lienhardt

Re: [gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-06 Thread Michael Lienhardt
ackage.keywords file/folder in the script. Thank you, Michael Lienhardt

[gentoo-dev] SAT-based dependency solver: request for test cases

2018-02-06 Thread Michael Lienhardt
/src ) I'm a gentoo user since 2007, and I'm very happy by this opportunity to contribute back :). Thank you! Michael Lienhardt

Re: [gentoo-portage-dev] [PATCH 1/2] portage.package.ebuild.config: Rename iuse_implicit -> iuse_effective

2018-02-06 Thread Michael Lienhardt
Many thanks. I should definitively read this document, that is far more precise that anything I have found on the wiki or on devmanual. Il 06/02/2018 00:05, Zac Medico ha scritto: On 02/05/2018 02:46 PM, Michael Lienhardt wrote: Is the IUSE_IMPLICIT variable in the make.defaults also changed

Re: [gentoo-portage-dev] [PATCH 1/2] portage.package.ebuild.config: Rename iuse_implicit -> iuse_effective

2018-02-05 Thread Michael Lienhardt
Is the IUSE_IMPLICIT variable in the make.defaults also changed into IUSE_EFFECTIVE? I'm sorry if this question was already discussed/answered somewhere else. Michael Il 04/02/2018 14:40, Michał Górny ha scritto: Rename the iuse_implicit variable used in USE_EXPAND handling to

Re: Re : Re: [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype

2018-01-07 Thread Michael Lienhardt
Dear Alexander, Many thanks for the advices. I started few discussions on the forum and will go to FOSDEM. I'll see where it will go. Best, Michael Il 16/12/2017 14:39, Alexander Berntsen ha scritto: On 13/12/17 02:52, michael.lienha...@laposte.net wrote: But maybe there are things we can do

Re : Re: [gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype

2017-12-12 Thread michael . lienhardt
repository, you could directly ask me Does anyone have suggestions on that topic? Again, many thanks. I really hope that with everyone's feedback, suggestions, and help, we could make something useful from this prototype. Michael Lienhardt PS: I forgot in my previous mail to talk about the other

[gentoo-portage-dev] Constraint-Based Dependency Solver for Portage: a prototype

2017-12-09 Thread Michael Lienhardt
or missed. Best Regards, Michael Lienhardt PS: list of uninstallable packages: dev-java/jruby-1.7.12 media-video/nvidia-settings-340.58 dev-ruby/bitescript-0.0.9 dev-java/spring-core-3.2.4 app-i18n/ibus-table-code-1.2.0.20100305 dev-ruby/weakling-0.0.4 sci-libs/ogdi-3.1.5-r1 dev-java/jcs-2.0