Re: [PATCH v3 8/9] enum: Add Platform enumeration

[Muhammad Rizki <kiizuha@gnuweeb.org>]

On 21/10/2022 21.21, Ammar Faizi wrote:
> 1) It reduces the function call and you don't have to import an
>     extra library. It's simpler to use and to write, it doesn't
>     have to call a function to define the value.
> 

So, you don't want to use extra library or worry about the enum.auto()? 
If you worry about the enum.auto(), then I just simply declare it as a 
number. If you don't want to use the extra library then I follow what 
you want here.

> 
> If using auto generated enum can give us something better at all,
> what is that? Tell me.
> 

It just auto generated name to make it readable when printing out or use 
it as a string value. You can see at gen_temp() in utils.py, I use it as 
its string name value to choose where the temporary folder to create is. 
It's simpler, if you want to declare it as an integer, then it's more 
way complicated because it will use an if statement like the old one does.

What do you think?