)]}'
{
  "commit": "e150ed9c68d7fd42c42f7b5304a25bd1e69a0feb",
  "tree": "34efde48bb2402d7b6e3ebd9aaff3ae5145ccfeb",
  "parents": [
    "b5466a1aa841d9a3f533c9ffde1d0dc6ae9c2ad4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Aug 29 09:40:55 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Aug 29 10:59:20 2026 +0000"
  },
  "message": "fix: link `libLeanExport.a` into executables that link Lake\n\nThis PR fixes a link failure in downstream packages that build an executable: `libLake.a` references `LeanExport` symbols, but `-lLeanExport` was missing from the static link line, so linking failed with undefined `initialize_LeanExport_Parse`, `runtime_initialize_LeanExport_Parse` and `l_LeanExport_parseStream`.\n\n`lake challenge` made Lake depend on `LeanExport`, and `LAKESHARED_LINKER_FLAGS` was updated accordingly, but `LEANC_STATIC_LINKER_FLAGS` was not. Lean is linked statically into executables on every platform but Windows (see `LeanExe.sharedLean`), so this affected essentially every downstream executable importing Lake. The new `linkLake` Lake test builds and runs such an executable, importing `Lake.All` so that all of Lake\u0027s cross-library references are exercised.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b9a70c4484a09fe7159f0c6e5664188f0bb0e935",
      "old_mode": 33188,
      "old_path": "src/CMakeLists.txt",
      "new_id": "1c642adcd07bcdea281d12b54171aeb16fb88bce",
      "new_mode": 33188,
      "new_path": "src/CMakeLists.txt"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "587dba7929a698b1e01cabc602ea71b6818ba615",
      "new_mode": 33188,
      "new_path": "tests/lake/tests/linkLake/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "333b50aba2428bd099bae09d5e1b58f8f8c36a36",
      "new_mode": 33261,
      "new_path": "tests/lake/tests/linkLake/clean.sh"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a77585df8d87ca614c89693e96d32e4aad79ece5",
      "new_mode": 33188,
      "new_path": "tests/lake/tests/linkLake/lakefile.toml"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "8ea7b947167d5e0d9a47c1931d9c930ed3c776b1",
      "new_mode": 33261,
      "new_path": "tests/lake/tests/linkLake/test.sh"
    }
  ]
}