Łukasz Czajka c50ad06976 Compile-time configuration (#3102) ... * Closes #3077 * Closes #3100 * Adds a compilation-time configuration script that creates a `config/config.json` file which is then read by the `Makefile`/`justfile` and embedded into the Juvix binary.		2024-10-16 11:47:23 +02:00
..
config.json	Compile-time configuration (#3102)	2024-10-16 11:47:23 +02:00
configure.sh	Compile-time configuration (#3102)	2024-10-16 11:47:23 +02:00