IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

There's no need to activate/deactivate/activate the venv.

Browse Source
This commit is contained in:
Dave Page
2018-05-22 14:01:13 +01:00
parent f0f530e824
commit 5780719035
1 changed files with 1 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
Make.bat
View File

@@ -172,7 +172,7 @@ REM Main build sequence Ends
EXIT /B 1 EXIT /B 1
) )
SET PATH=%PGDIR%\bin;%PATH%; SET "PATH=%PGDIR%\bin;%PATH%"
EXIT /B 0 EXIT /B 0
@@ -186,15 +186,11 @@ REM Main build sequence Ends
ECHO Activating virtual environment - %PGBUILDPATH%\%VIRTUALENV%... ECHO Activating virtual environment - %PGBUILDPATH%\%VIRTUALENV%...
CALL "%PGBUILDPATH%\%VIRTUALENV%\Scripts\activate" || EXIT /B 1 CALL "%PGBUILDPATH%\%VIRTUALENV%\Scripts\activate" || EXIT /B 1
SET PATH=%PGDIR%\bin;%PATH%
ECHO Installing dependencies... ECHO Installing dependencies...
pip install -r "%WD%\requirements.txt" || EXIT /B 1 pip install -r "%WD%\requirements.txt" || EXIT /B 1
pip install sphinx || EXIT /B 1 pip install sphinx || EXIT /B 1
ECHO Deactivating Virtual Enviroment - %PGBUILDPATH%\%VIRTUALENV%\Scripts\deactivate...
CALL "%PGBUILDPATH%\%VIRTUALENV%\Scripts\deactivate" || EXIT /B 1
CD %WD% CD %WD%
EXIT /B 0 EXIT /B 0
@@ -236,9 +232,6 @@ REM Main build sequence Ends
ECHO 'ppas': '' >> "%PGBUILDPATH%\web\config_distro.py" ECHO 'ppas': '' >> "%PGBUILDPATH%\web\config_distro.py"
ECHO } >> "%PGBUILDPATH%\web\config_distro.py" ECHO } >> "%PGBUILDPATH%\web\config_distro.py"
ECHO Activating Virtual Enviroment - %PGBUILDPATH%\%VIRTUALENV%\Scripts\activate...
CALL "%PGBUILDPATH%\%VIRTUALENV%\Scripts\activate" || EXIT /B 1
ECHO Building docs... ECHO Building docs...
MKDIR "%PGBUILDPATH%\docs\en_US\html" MKDIR "%PGBUILDPATH%\docs\en_US\html"
CD "%WD%\docs\en_US" CD "%WD%\docs\en_US"