build: one file missing

Author: ice1000

Diff for: settings.gradle.kts

@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 
 rootProject.name = "aya-prover"
@@ -12,12 +12,15 @@ include(
   "cli-console",
   "tools",
   // Uses kala-primitives
+  "jit-compiler",
   "tools-kala",
   "tools-md",
   "tools-repl",
+  "syntax",
   "base",
   "pretty",
   "parser",
+  "producer",
   "ide",
   "ide-lsp",
 )