blob: f64c2ce4e023534210137ad1ecff2de73a5c269a (
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
|
#!/usr/bin/env bash
#**************************************************************************
#* *
#* OCaml *
#* *
#* Anil Madhavapeddy, OCaml Labs *
#* *
#* Copyright 2014 Institut National de Recherche en Informatique et *
#* en Automatique. *
#* *
#* All rights reserved. This file is distributed under the terms of *
#* the GNU Lesser General Public License version 2.1, with the *
#* special exception on linking described in the file LICENSE. *
#* *
#**************************************************************************
set -xe
PREFIX=~/local
MAKE="make $MAKE_ARG"
SHELL=dash
MAKE_WARN="$MAKE --warn-undefined-variables"
export PATH=$PREFIX/bin:$PATH
Configure () {
mkdir -p $PREFIX
cat<<EOF
------------------------------------------------------------------------
This test builds the OCaml compiler distribution with your pull request
and runs its testsuite.
Failing to build the compiler distribution, or testsuite failures are
critical errors that must be understood and fixed before your pull
request can be merged.
------------------------------------------------------------------------
EOF
configure_flags="\
--prefix=$PREFIX \
--enable-debug-runtime \
$CONFIG_ARG"
case $XARCH in
x64)
./configure $configure_flags
;;
i386)
./configure --build=x86_64-pc-linux-gnu --host=i386-pc-linux-gnu \
$configure_flags
;;
*)
echo unknown arch
exit 1
;;
esac
}
Build () {
if [ "$(uname)" = 'Darwin' ]; then
script -q build.log $MAKE_WARN
else
script --return --command "$MAKE_WARN" build.log
fi
failed=0
if grep -Fq ' warning: undefined variable ' build.log; then
echo Undefined Makefile variables detected
failed=1
fi
rm build.log
echo Ensuring that all names are prefixed in the runtime
if ! ./tools/check-symbol-names runtime/*.a otherlibs/*/lib*.a ; then
failed=1
fi
if ((failed)); then
exit 1
fi
}
Test () {
echo Running the testsuite
$MAKE -C testsuite parallel
cd ..
}
# By default, TestPrefix will attempt to run the tests
# in the given directory in parallel.
TestPrefix () {
TO_RUN=parallel-"$1"
echo Running single testsuite directory with $TO_RUN
$MAKE -C testsuite $TO_RUN
cd ..
}
API_Docs () {
echo Ensuring that all library documentation compiles
$MAKE -C api_docgen html pdf texi
}
Install () {
$MAKE install
}
Checks () {
if fgrep 'SUPPORTS_SHARED_LIBRARIES=true' Makefile.config &>/dev/null ; then
echo Check the code examples in the manual
$MAKE manual-pregen
fi
# check_all_arches checks tries to compile all backends in place,
# we would need to redo (small parts of) world.opt afterwards to
# use the compiler again
$MAKE check_all_arches
# Ensure that .gitignore is up-to-date - this will fail if any untreacked or
# altered files exist.
test -z "$(git status --porcelain)"
# check that the 'clean' target also works
$MAKE clean
$MAKE -C manual clean
$MAKE -C manual distclean
# check that the `distclean` target definitely cleans the tree
$MAKE distclean
# Check the working tree is clean
test -z "$(git status --porcelain)"
# Check that there are no ignored files
test -z "$(git ls-files --others -i --exclude-standard)"
}
CheckManual () {
cat<<EOF
--------------------------------------------------------------------------
This test checks the global structure of the reference manual
(e.g. missing chapters).
--------------------------------------------------------------------------
EOF
# we need some of the configuration data provided by configure
./configure
$MAKE check-stdlib check-case-collision -C manual/tests
}
BuildManual () {
$MAKE -C manual/src/html_processing duniverse
$MAKE -C manual manual
$MAKE -C manual web
}
# ReportBuildStatus accepts an exit code as a parameter (defaults to 1) and also
# instructs GitHub Actions to set build-status to 'failed' on non-zero exit or
# 'success' otherwise.
ReportBuildStatus () {
CODE=${1:-1}
if ((CODE)); then
STATUS='failed'
else
STATUS='success'
fi
echo "::set-output name=build-status::$STATUS"
exit $CODE
}
BasicCompiler () {
trap ReportBuildStatus ERR
./configure --disable-dependency-generation \
--disable-debug-runtime \
--disable-instrumented-runtime
# Need a runtime
make -j coldstart
# And generated files (ocamllex compiles ocamlyacc)
make -j ocamllex
ReportBuildStatus 0
}
case $1 in
configure) Configure;;
build) Build;;
test) Test;;
test_prefix) TestPrefix $2;;
api-docs) API_Docs;;
install) Install;;
manual) BuildManual;;
other-checks) Checks;;
basic-compiler) BasicCompiler;;
*) echo "Unknown CI instruction: $1"
exit 1;;
esac
|
