language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 12:24:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge branch 'main' into python-3.8

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-10-30 18:25:22 +09:00
commit 2b01ab606b
13 changed files with 49 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/erg_common/python_util.rs
View file

@ -373,8 +373,8 @@ pub fn which_python() -> String {
if res.is_empty() {
println!("python not found");
std::process::exit(1);
} else if res.contains("pyenv") {
println!("cannot use pyenv");
} else if res.contains("pyenv") && cfg!(windows) {
println!("cannot use pyenv-win"); // because pyenv-win does not support `-c` option
std::process::exit(1);
}
res