We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8ca75dd commit cbe038dCopy full SHA for cbe038d
1 file changed
setup.sh
@@ -228,7 +228,13 @@ ensure_autolean_venv() {
228
229
log "Installing bundled AUTOLEAN Python dependencies"
230
"$AUTOLEAN_VENV/bin/python" -m pip install --upgrade pip setuptools wheel
231
- "$AUTOLEAN_VENV/bin/python" -m pip install "$AUTOLEAN_DIR"
+
232
+ local autolean_target="$AUTOLEAN_DIR"
233
+ if [[ "${MATHCODE_USE_LSP:-}" == "1" ]]; then
234
+ autolean_target="${AUTOLEAN_DIR}[lsp]"
235
+ log "MATHCODE_USE_LSP=1 detected — installing with LSP extras"
236
+ fi
237
+ "$AUTOLEAN_VENV/bin/python" -m pip install "$autolean_target"
238
}
239
240
ensure_lean() {
0 commit comments