Compile-time configuration #3102

lukaszcz · 2024-10-14T18:27:59Z

Closes Make WASM support optional #3077
Closes Make Rust compiler optional #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.

config/configure.sh

lukaszcz added the build label Oct 14, 2024

lukaszcz added this to the 0.6.7 milestone Oct 14, 2024

lukaszcz self-assigned this Oct 14, 2024

lukaszcz force-pushed the compile-time-configuration branch from 08bee01 to 3496b5a Compare October 15, 2024 18:38

lukaszcz marked this pull request as ready for review October 15, 2024 18:44

lukaszcz requested a review from paulcadman October 15, 2024 18:44

lukaszcz added 10 commits October 15, 2024 20:45

compile-time config

c94da68

make pre-commit happy

c32fdc6

print error msg to stderr

320abc8

just configure

1dfdb0b

fix configure.sh

ad35e36

use config.json in makefiles

84c9c0c

fix justfile

0ff7f39

conditionally include Rust/WASM targets

8ef2451

check config in tests

ba303e3

use configured clang path

0d92e20

lukaszcz force-pushed the compile-time-configuration branch from 3496b5a to 0d92e20 Compare October 15, 2024 18:45

lukaszcz added the dev-tools label Oct 15, 2024

paulcadman reviewed Oct 16, 2024

View reviewed changes

config/configure.sh Outdated Show resolved Hide resolved

lukaszcz added 2 commits October 16, 2024 10:43

allow overriding CC in main Makefile

9f42d0b

update configure.sh

341f2ab

lukaszcz requested a review from paulcadman October 16, 2024 08:44

paulcadman approved these changes Oct 16, 2024

View reviewed changes

lukaszcz mentioned this pull request Oct 16, 2024

Remove VampIR compile command and tests #3104

Merged

lukaszcz merged commit c50ad06 into main Oct 16, 2024
4 checks passed

lukaszcz deleted the compile-time-configuration branch October 16, 2024 09:47

Provide feedback