Auto-generate defines and metas from JSON files

[Aurel300]

Facilitates easier integration of defines / metadata with the manual, IDE integration, etc. Closes #8035.

• list of defines/metadata (type strict_defined, type strict_meta) along with their description functions (infos, get_info) moved into JSON files src-json/define.json and src-json/meta.json
• new prebuild OCaml utility added as a Makefile step, parses JSON + outputs OCaml files
• Merlin compatibility (should work if we add S _build/src/core/defineList.ml and S _build/src/core/metaList.ml to .merlin) works as-is

[RealyUniqueName]

Does it play well with merlin?

[RealyUniqueName]

it should be added to .gitignore

[Simn]

What's the status here?

[Aurel300]

What's the status here?

I was unable to solve the CI build failure. It's probably related to the build order somehow but I cannot reproduce it at all (even works with make -j). Currently focusing on other tasks (libuv in HL), so this is in my backlog.

[Simn]

Can you try if it reproduces after a make clean locally?

[kLabz]

I tried to reproduce yesterday locally, and couldn't even with make clean

[Simn]

On what OS?

[kLabz]

Linux (arch linux)

[Simn]

Did you try with a fresh checkout or git clean -dfx?

[Gama11]

One thing I've wondered, isn't having both name and define a bit redundant (i.e. couldn't one be derived from the other, or are there exceptions)?

[Aurel300]

Originally you could probably derive the defines from the OCaml name (except the unfortunate case of HxcppSmartStings, which somehow went by unnoticed). Since dot notation was introduced into metadata, the mapping may be less obvious – there are still many fields which use the un-dotted identifier. For defines this might be easier?

But to be honest I did not thoroughly think about unifying name and define (or metadata). I also think it's fine if it is done as part of another PR at some point.