-
Notifications
You must be signed in to change notification settings - Fork 212
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'master' into clean-up-provenance-synthesiser-relation
- Loading branch information
Showing
183 changed files
with
3,740 additions
and
1,542 deletions.
There are no files selected for viewing
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,76 @@ | ||
| name: VS-CI-Tests | ||
|
|
||
| on: | ||
| # TODO remove me before merge | ||
| push: | ||
| branches: | ||
| - '**' | ||
| pull_request: | ||
| types: [opened, synchronize] | ||
| workflow_dispatch: | ||
|
|
||
| env: | ||
| CHOCO_CACHE_DIR: "${{ github.workspace }}/choco-cache" | ||
|
|
||
| jobs: | ||
|
|
||
| Windows-CMake-MSVC: | ||
| runs-on: windows-2019 | ||
| steps: | ||
| - uses: actions/checkout@v2 | ||
|
|
||
| - name: Dependencies Cache | ||
| uses: actions/cache@v2 | ||
| env: | ||
| cache-name: cache-chocolatey | ||
| with: | ||
| # cache Chocolatey packages to speed-up the deployment. | ||
| path: | | ||
| ${{ env.CHOCO_CACHE_DIR }} | ||
| key: windows-${{ hashFiles('choco-packages.config') }} | ||
|
|
||
| # Use Chocolatey to install binary dependencies. | ||
| - name: Binary Dependencies (Chocolatey) | ||
| run: | | ||
| choco config set cacheLocation ${{ env.CHOCO_CACHE_DIR }} | ||
| choco install choco-packages.config --no-progress --installargs 'ADD_CMAKE_TO_PATH=""System""' | ||
| # Use vcpkg to install devel library dependencies. | ||
| - name: Library Dependencies (vcpkg) | ||
| uses: lukka/run-vcpkg@v7 | ||
| with: | ||
| vcpkgGitCommitId: '3a28333d605f92f8659f3af1137324b2d9886101' | ||
| vcpkgTriplet: x64-windows | ||
| vcpkgArguments: 'sqlite3 zlib libffi' | ||
|
|
||
| - name: Create Build Directory | ||
| working-directory: ${{github.workspace}} | ||
| run: mkdir build | ||
|
|
||
| - name: Configure Build | ||
| working-directory: ${{github.workspace}} | ||
| run: | | ||
| $env:ChocolateyInstall = Convert-Path "$((Get-Command choco).Path)\..\.." | ||
| Import-Module "$env:ChocolateyInstall\helpers\chocolateyProfile.psm1" | ||
| refreshenv | ||
| cmake -S . -B build -G "Visual Studio 16 2019" -A x64 "-DCMAKE_TOOLCHAIN_FILE=${{env.VCPKG_ROOT}}/scripts/buildsystems/vcpkg.cmake" -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS=/bigobj -DSOUFFLE_DOMAIN_64BIT=ON -DCMAKE_FIND_LIBRARY_PREFIXES=";lib" -DCMAKE_FIND_LIBRARY_SUFFIXES=".lib;.dll" -DSOUFFLE_USE_CURSES=OFF -DSOUFFLE_USE_ZLIB=ON -DCMAKE_FIND_DEBUG_MODE=FALSE -DSOUFFLE_BASH_COMPLETION=OFF | ||
| - name: Build | ||
| working-directory: ${{github.workspace}} | ||
| run: cmake --build build --config Release -j4 | ||
|
|
||
| # Run the tests, Visual Studio must be in the environment because cl.exe is required for compiled Souffle. | ||
| - name: Check interpreter | ||
| working-directory: ${{github.workspace}}/build | ||
| shell: cmd | ||
| run: | | ||
| pushd "%ProgramFiles(x86)%\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build" & call vcvars64.bat & popd | ||
| ctest --output-on-failure --build-config Release --progress -j4 -L interpreted | ||
| - name: Check others | ||
| working-directory: ${{github.workspace}}/build | ||
| shell: cmd | ||
| run: | | ||
| pushd "%ProgramFiles(x86)%\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build" & call vcvars64.bat & popd | ||
| ctest --output-on-failure --build-config Release --progress -j2 -LE interpreted | ||
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
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
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| <?xml version="1.0" encoding="utf-8"?> | ||
| <packages> | ||
| <package id="winflexbison3"/> | ||
| <package id="sqlite"/> | ||
| <package id="cmake" version="3.21.3"/> | ||
| </packages> |
Oops, something went wrong.