products/compil_scripts/sphinxintl.bat

   1 @echo off
   2
   3 echo ##########################################################################
   4 echo sphinxintl %VERSION%
   5 echo ##########################################################################
   6
   7 REM install in python directly
   8 SET INSTALL_CENTRALLY=1
   9
  10 IF NOT DEFINED SAT_DEBUG (
  11   SET SAT_DEBUG=0
  12 )
  13
  14 if NOT exist "%PRODUCT_INSTALL%" mkdir %PRODUCT_INSTALL%
  15 REM clean BUILD directory
  16 if exist "%BUILD_DIR%" rmdir /Q /S %BUILD_DIR%
  17 mkdir %BUILD_DIR%
  18
  19 cd %SOURCE_DIR%
  20
  21 echo.
  22 echo --------------------------------------------------------------------------
  23 echo Launching "python.exe setup.py build"
  24 echo --------------------------------------------------------------------------
  25 set BUILD_OPT=
  26 if %SAT_DEBUG% == 1 (
  27    set BUILD_OPT=--debug
  28 )
  29
  30 %PYTHON_ROOT_DIR%\python.exe setup.py build %BUILD_OPT%
  31
  32 echo.
  33 echo --------------------------------------------------------------------------
  34 echo Launching "python.exe setup.py install"
  35 echo --------------------------------------------------------------------------
  36
  37 if %INSTALL_CENTRALLY% == 1 (
  38     %PYTHON_ROOT_DIR%\python.exe setup.py install
  39 ) else (
  40     %PYTHON_ROOT_DIR%\python.exe setup.py install  --single-version-externally-managed --root=/ --prefix=%PRODUCT_INSTALL% --install-lib=%PRODUCT_INSTALL%\lib\python%PYTHON_VERSION%\site-packages
  41 )
  42
  43 if NOT %ERRORLEVEL% == 0 (
  44     echo ERROR on setup.py install
  45     exit 3
  46 )
  47
  48 echo.
  49 echo Product %PRODUCT_NAME% version: %VERSION%> %PRODUCT_INSTALL%\README.txt
  50 echo Installation folder: %PYTHON_ROOT_DIR%>> %PRODUCT_INSTALL%\README.txt
  51
  52 echo.
  53 echo ########## END