Skip to content

Merge pull request #64 from codefuse-ai/xxh_dev #16

Merge pull request #64 from codefuse-ai/xxh_dev

Merge pull request #64 from codefuse-ai/xxh_dev #16

Workflow file for this run

name: GodelScript Build
on:
push:
paths:
- godel-script/**
pull_request:
branches: [ main ]
paths:
- godel-script/**
jobs:
mac-aarch64-build:
runs-on: macos-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Update Git Env
run: |
git config --global user.name "$(git log -n 1 --pretty=format:%an)"
git config --global user.email "$(git log -n 1 --pretty=format:%ae)"
- name: Build
run: |
cd godel-script
cd godel-backend/souffle
git am ../0001-init-self-used-souffle-from-public-souffle.patch
cd ../..
mkdir build
cd build
cmake ..
make -j6
- name: Test
run: |
cd godel-script
./build/godel
./build/godel --version
./build/godel -h --color-off
linux-x86_64-build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
submodules: true
- name: Update Git Env
run: |
git config --global user.name "$(git log -n 1 --pretty=format:%an)"
git config --global user.email "$(git log -n 1 --pretty=format:%ae)"
- name: Build
run: |
cd godel-script
cd godel-backend/souffle
git am ../0001-init-self-used-souffle-from-public-souffle.patch
cd ../..
mkdir build
cd build
cmake ..
make -j6
- name: Test
run: |
cd godel-script
./build/godel
./build/godel --version
./build/godel -h --color-off