diff -r 9e14817925e5 -r 3885b9d7bd31 scripts/install.py --- a/scripts/install.py Tue Jan 24 10:16:03 2023 +0100 +++ b/scripts/install.py Wed Mar 01 09:05:47 2023 +0100 @@ -513,6 +513,7 @@ "eric7_hexeditor", "eric7_iconeditor", "eric7_ide", + "eric7_pdf", "eric7_plugininstall", "eric7_pluginrepository", "eric7_pluginuninstall", @@ -751,6 +752,7 @@ "eric7_hexeditor", "eric7_iconeditor", "eric7_ide", + "eric7_pdf", "eric7_plugininstall", "eric7_pluginrepository", "eric7_pluginuninstall", @@ -919,9 +921,6 @@ if os.access(cfg["apidir"], os.W_OK): for progLanguage in progLanguages: apidir = os.path.join(cfg["apidir"], progLanguage) - print( - "\nInstalling {0} API files to '{1}'.".format(progLanguage, apidir) - ) if not os.path.exists(apidir): os.makedirs(apidir) for apiName in glob.glob( @@ -1709,6 +1708,7 @@ "black": ("black", ">=22.6.0"), "isort": ("isort", ">=5.10.0"), "coverage": ("coverage", ">=6.5.0"), + "semver": ("semver", ""), } optionalModulesList = { # key is pip project name @@ -2282,6 +2282,7 @@ ddir=os.path.join(distDir, modDir, cfg["ericDir"]), rx=skipRe, quiet=True, + workers=0, ) py_compile.compile( configName, dfile=os.path.join(distDir, modDir, "eric7config.py") @@ -2292,6 +2293,7 @@ ddir=os.path.join(modDir, cfg["ericDir"]), rx=skipRe, quiet=True, + workers=0, ) py_compile.compile(configName, dfile=os.path.join(modDir, "eric7config.py")) sys.stdout = sys.__stdout__