| 1 |
Dear everyone, |
| 2 |
|
| 3 |
up until now, I received 8 systems to test with our prototype, many thanks to all participants :). |
| 4 |
I hope others will join! |
| 5 |
|
| 6 |
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 |
| 7 |
|
| 8 |
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. |
| 9 |
Also some of the solutions found by our tool were not validated by emerge, and I need to check why. |
| 10 |
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 |
| 11 |
">=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?]" |
| 12 |
Does anyone know why? (I didn't check yet). |
| 13 |
|
| 14 |
I'll continue working on the prototype and test it with the test case you give me. |
| 15 |
Thank you! |
| 16 |
Michael Lienhardt |
| 17 |
|
| 18 |
Il 13/01/2018 19:50, Michael Lienhardt ha scritto: |
| 19 |
> Dear Everyone, |
| 20 |
> |
| 21 |
> 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 ). |
| 22 |
> We need your help to test it and possibly improve in the long run the already great portage toolset. |
| 23 |
> |
| 24 |
> You can help us in two ways: |
| 25 |
> - you can send us the zip generated by this bash script: https://raw.githubusercontent.com/HyVar/gentoo_to_mspl/master/benchmarks/get_installation.sh |
| 26 |
> 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). |
| 27 |
> With this, we will see if our solver is able to recreate your system and how much time it takes. |
| 28 |
> |
| 29 |
> - you can propose installation challenges, i.e., sets of packages to install. |
| 30 |
> With this, we will compare the answer and the response time between emerge and our solver. |
| 31 |
> |
| 32 |
> You can send everything to my professional email: mlienhar@××××××××.it |
| 33 |
> |
| 34 |
> Thank you! |
| 35 |
> Michael Lienhardt |
| 36 |
> |
Archives