-
Notifications
You must be signed in to change notification settings - Fork 118
38 lines (29 loc) · 1.24 KB
/
check.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
name: Build Vinix kernel
on:
pull_request:
paths-ignore:
- "**.md"
push:
branches:
- main
paths-ignore:
- "**.md"
jobs:
vinix-build:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v4
- name: Install dependencies
run: sudo apt-get update && sudo apt-get install build-essential -y
- name: Clone and build current V
run: git clone https://github.com/vlang/v.git --depth=1 && cd v && make
- name: Download kernel dependencies
run: cd kernel && ./get-deps
- name: Attempt to build the Vinix kernel (debug)
run: cd kernel && make PROD=false KCFLAGS="-D__vinix__ -O2 -g -pipe" KV="../v/v" && make clean
- name: Attempt to build the Vinix kernel (prod)
run: cd kernel && make PROD=true KCFLAGS="-D__vinix__ -O2 -g -pipe" KV="../v/v" && make clean
- name: Attempt to build the util-vinix (debug)
run: cd util-vinix && make PROD=false V="$(realpath ../v/v)" VFLAGS="-os vinix -gc none" CFLAGS="-D__vinix__ -O2 -g -pipe" && make clean
- name: Attempt to build the util-vinix (prod)
run: cd util-vinix && make PROD=true V="$(realpath ../v/v)" VFLAGS="-os vinix -gc none" CFLAGS="-D__vinix__ -O2 -g -pipe" && make clean