Dear everyone,
up until now, I received 8 systems to test with our prototype, many thanks to
all participants :).
I hope others will join!
I did 3 tests on these test cases and posted a short report on the forum:
https://forums.gentoo.org/viewtopic-p-8177602.html#8177602
The short conclusion is that the prototype seems very promising (it found a
solution for all adequate test cases, while emerge had various inconclusive
suggestions for all of them), but many details must be improved.
Also some of the solutions found by our tool were not validated by emerge, and
I need to check why.
It is probably due to the strange semantics of the compact form + default USE
dependencies: emerge says that "sys-fs/eudev-3.1.5" cannot satisfy the
following dependency
">=sys-fs/eudev-1.5.3-r1:0/0[abi_x86_32(-)?,abi_x86_64(-)?,abi_x86_x32(-)?,abi_mips_n32(-)?,abi_mips_n64(-)?,abi_mips_o32(-)?,abi_ppc_32(-)?,abi_ppc_64(-)?,abi_s390_32(-)?,abi_s390_64(-)?,gudev(-),introspection(-)?,static-libs?]"
Does anyone know why? (I didn't check yet).
I'll continue working on the prototype and test it with the test case you give
me.
Thank you!
Michael Lienhardt
Il 13/01/2018 19:50, Michael Lienhardt ha scritto:
Dear Everyone,
With some friends and colleagues, I implemented an alternative dependency
solver for portage (as discussed here:
https://forums.gentoo.org/viewtopic-t-1074202.html and
https://forums.gentoo.org/viewtopic-t-1075286.html ).
We need your help to test it and possibly improve in the long run the already
great portage toolset.
You can help us in two ways:
- you can send us the zip generated by this bash script:
https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh
This bash script extracts your world file, the USE flags and keywords
configuration of your system and the list of installed packages you have (it
should not take more than few seconds).
With this, we will see if our solver is able to recreate your system and
how much time it takes.
- you can propose installation challenges, i.e., sets of packages to install.
With this, we will compare the answer and the response time between emerge
and our solver.
You can send everything to my professional email: mlien...@di.unito.it
Thank you!
Michael Lienhardt
