blob: 6df11e58819dbdae895ca7cfb718a55f85ee2a1f (
plain)
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
name: Build
on: [push, pull_request]
jobs:
no-naked-pointers:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: configure tree
run: ./configure --disable-naked-pointers --disable-stdlib-manpages --disable-dependency-generation --enable-ocamltest
- name: Build
run: |
make -j world.opt
- name: Run the testsuite
run: |
make -C testsuite USE_RUNTIME=d all
i386-static:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Packages
run: |
sudo apt-get update -y && sudo apt-get install -y gcc-multilib gfortran-multilib
- name: configure tree
run: |
XARCH=i386 CONFIG_ARG='--disable-stdlib-manpages --disable-shared' bash -xe tools/ci/actions/runner.sh configure
- name: Build
run: |
bash -xe tools/ci/actions/runner.sh build
- name: Run the testsuite
run: |
bash -xe tools/ci/actions/runner.sh test
- name: Install
run: |
bash -xe tools/ci/actions/runner.sh install
- name: Other checks
run: |
bash -xe tools/ci/actions/runner.sh other-checks
full-flambda:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Packages
run: |
sudo apt-get update -y && sudo apt-get install -y texlive-latex-extra texlive-fonts-recommended
# Ensure that make distclean can be run from an empty tree
- name: distclean
run: |
MAKE_ARG=-j make distclean
- name: configure tree
run: |
MAKE_ARG=-j XARCH=x64 CONFIG_ARG='--enable-flambda --enable-dependency-generation' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure
- name: Build
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh build
- name: Run the testsuite
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh test
- name: Build API Documentation
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh api-docs
- name: Install
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh install
- name: Other checks
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh other-checks
|
