Code

Compile-time configuration#3102

Code

Merged

lukaszcz merged 12 commits intomainanoma/juvix:mainfrom compile-time-configurationanoma/juvix:compile-time-configurationCopy head branch name to clipboardOct 16, 2024

+344-190

Commits

Commits on Oct 15, 2024

• compile-time config

  lukaszcz

  committed
  c94da68

  Copy full SHA for c94da68

• make pre-commit happy

  lukaszcz

  committed
  c32fdc6

  Copy full SHA for c32fdc6

• print error msg to stderr

  lukaszcz

  committed
  320abc8

  Copy full SHA for 320abc8

• just configure

  lukaszcz

  committed
  1dfdb0b

  Copy full SHA for 1dfdb0b

• fix configure.sh

  lukaszcz

  committed
  ad35e36

  Copy full SHA for ad35e36

• use config.json in makefiles

  lukaszcz

  committed
  84c9c0c

  Copy full SHA for 84c9c0c

• fix justfile

  lukaszcz

  committed
  0ff7f39

  Copy full SHA for 0ff7f39

• conditionally include Rust/WASM targets

  lukaszcz

  committed
  8ef2451

  Copy full SHA for 8ef2451

• check config in tests

  lukaszcz

  committed
  ba303e3

  Copy full SHA for ba303e3

• use configured clang path

  lukaszcz

  committed
  0d92e20

  Copy full SHA for 0d92e20

Commits on Oct 16, 2024

• allow overriding CC in main Makefile

  lukaszcz

  committed
  9f42d0b

  Copy full SHA for 9f42d0b

• update configure.sh

  lukaszcz

  committed
  341f2ab

  Copy full SHA for 341f2ab