blob: 6eacd8bc6cf2f5a6f5c7049adbc3a7b2d012ed32 (
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
|
stages:
- build_ppc
- build_aarch64
- build_arm
- build_rv64
- build_rv32
- build_x86_64
- build_x86
build_x86_64:
stage: build_x86_64
image: "coqorg/coq"
before_script:
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_x86_64.sh
- make -j "$NJOBS"
build_x86:
stage: build_x86
image: "coqorg/coq"
before_script:
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_x86.sh
- make -j "$NJOBS"
build_aarch64:
stage: build_aarch64
image: "coqorg/coq"
before_script:
- sudo apt install gcc-aarch64-linux-gnu
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_aarch64.sh
- make -j "$NJOBS"
build_arm:
stage: build_arm
image: "coqorg/coq"
before_script:
- sudo apt install gcc-arm-linux-gnueabihf
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_arm.sh
- make -j "$NJOBS"
build_ppc:
stage: build_ppc
image: "coqorg/coq"
before_script:
- sudo apt install gcc-powerpc-linux
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_ppc.sh
- make -j "$NJOBS"
build_rv64:
stage: build_rv64
image: "coqorg/coq"
before_script:
- sudo apt install gcc-riscv64-linux-gnu
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_rv64.sh
- make -j "$NJOBS"
build_rv32:
stage: build_rv32
image: "coqorg/coq"
before_script:
- sudo apt install gcc-riscv64-linux-gnu
- opam switch 4.07.1+flambda
- eval `opam config env`
- opam install -y menhir
script:
- ./config_rv32.sh
- make -j "$NJOBS"
|