update hamr sysml #2136
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Windows | |
| on: | |
| push: | |
| branches: | |
| - "**" | |
| tags: | |
| - "!**" | |
| jobs: | |
| ci: | |
| runs-on: windows-latest | |
| steps: | |
| - name: Support longpaths | |
| run: git config --system core.longpaths true | |
| - name: Clean | |
| shell: cmd | |
| run: | | |
| if exist "%GITHUB_WORKSPACE%\Sireum" rmdir /s/q "%GITHUB_WORKSPACE%\Sireum" | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| path: Sireum | |
| submodules: recursive | |
| - name: Cache Java | |
| id: cache-java | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\bin\win\java | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\versions.properties') }}-java | |
| - name: Cache Scala | |
| id: cache-scala | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\bin\scala | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\versions.properties') }}-scala | |
| - name: Cache Coursier | |
| id: cache-coursier | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\cache\coursier | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\versions.properties') }}-coursier | |
| - name: Cache OSATE | |
| id: cache-osate | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\bin\win\osate | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\hamr\codegen\jvm\src\main\resources\phantom_versions.properties') }}-osate | |
| - name: Test | |
| shell: cmd | |
| run: | | |
| set COURSIER_CACHE=%GITHUB_WORKSPACE%\Sireum\cache\coursier | |
| cd /d %GITHUB_WORKSPACE%\Sireum | |
| set errorlevel= | |
| call .ci\build.bat || goto :error | |
| del bin\.sireum-win.jar || goto :error | |
| call .ci\build.bat test-verify || goto :error | |
| goto :EOF | |
| :error | |
| exit /b %errorlevel% | |
| ci-native: | |
| runs-on: windows-latest | |
| steps: | |
| - name: Support longpaths | |
| run: git config --system core.longpaths true | |
| - name: Clean | |
| shell: cmd | |
| run: | | |
| if exist "%GITHUB_WORKSPACE%\Sireum" rmdir /s/q "%GITHUB_WORKSPACE%\Sireum" | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| path: Sireum | |
| submodules: recursive | |
| - name: Cache Java | |
| id: cache-java | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\bin\win\java | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\versions.properties') }}-java | |
| - name: Cache Scala | |
| id: cache-scala | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\bin\scala | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\versions.properties') }}-scala | |
| - name: Cache Coursier | |
| id: cache-coursier | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\cache\coursier | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\versions.properties') }}-coursier | |
| - name: Configure Pagefile | |
| uses: al-cheb/[email protected] | |
| with: | |
| minimum-size: 8GB | |
| maximum-size: 16GB | |
| disk-root: "C:" | |
| - name: Cache Graal | |
| id: cache-graal | |
| uses: actions/cache@v4 | |
| with: | |
| path: Sireum\bin\win\graal | |
| key: ${{ runner.os }}-${{ hashFiles('Sireum\bin\install\graal.cmd') }}-graal | |
| - name: Test Native | |
| shell: cmd | |
| run: | | |
| set COURSIER_CACHE=%GITHUB_WORKSPACE%\Sireum\cache\coursier | |
| cd /d %GITHUB_WORKSPACE%\Sireum | |
| call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvars64.bat" | |
| set errorlevel= | |
| call .ci\win-native.bat || goto :error | |
| del bin\win\sireum.exe || goto :error | |
| goto :EOF | |
| :error | |
| exit /b %errorlevel% |