mirror of
https://github.com/cosinekitty/astronomy.git
synced 2025-12-25 08:38:11 -05:00
700a834ffc
I realize now that the URLs I was using to download stuff from GitHub Actions were redirects. So I need to use 'curl -L' to follow the redirects. But I also removed the redirect by using the ultimate URLs.
30 lines
1.0 KiB
Batchfile
30 lines
1.0 KiB
Batchfile
@echo off
|
|
setlocal EnableDelayedExpansion
|
|
REM --------------------------------------------------------------------------------
|
|
REM Astronomy Engine - GitHub Actions steps for Windows.
|
|
REM This batch file is executed on every push to GitHub.
|
|
REM --------------------------------------------------------------------------------
|
|
|
|
REM Change to project/repo root directory.
|
|
cd %~dp0\..
|
|
echo.commit_hook: Repo root = %cd%
|
|
|
|
set DOXYGENURL=https://raw.githubusercontent.com/cosinekitty/ephemeris/master/doxygen-1.9.5.windows.x64.bin.zip
|
|
md bin
|
|
cd bin
|
|
echo.commit_hook: Downloading: !DOXYGENURL!
|
|
if exist doxygen.zip ( del doxygen.zip )
|
|
curl -L -o doxygen.zip !DOXYGENURL! || exit /b 1
|
|
echo.commit_hook: Installing Doxygen.
|
|
7z x doxygen.zip || exit /b 1
|
|
del doxygen.zip
|
|
|
|
REM change to 'generate' directory, which is where this batch file is located.
|
|
cd %~dp0
|
|
echo.commit_hook: Running Astronomy Engine tests.
|
|
del output\vsop*.txt output\*.eph output\jupiter_moons.txt
|
|
call run.bat || exit /b 1
|
|
call verify_clean.bat || exit /b 1
|
|
echo.commit_hook: SUCCESS
|
|
exit /b 0
|