blob: e86504b76dde67e72e7cb0dffe75cf51f463cd66 (
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
|
##########################################################################
## # The Coq Proof Assistant / The Coq Development Team ##
## v # INRIA, CNRS and contributors - Copyright 1999-2018 ##
## <O___,, # (see CREDITS file for the list of authors) ##
## \VV/ ###############################################################
## // # This file is distributed under the terms of the ##
## # GNU Lesser General Public License Version 2.1 ##
## # (see LICENSE file for the text of the license) ##
##########################################################################
CI_TARGETS=ci-bedrock2 \
ci-bignums \
ci-color \
ci-compcert \
ci-coq-dpdgraph \
ci-coquelicot \
ci-corn \
ci-cpdt \
ci-cross-crypto \
ci-elpi \
ci-ext-lib \
ci-equations \
ci-fcsl-pcm \
ci-fiat-crypto \
ci-fiat-crypto-legacy \
ci-fiat-parsers \
ci-flocq \
ci-formal-topology \
ci-geocoq \
ci-hott \
ci-iris-lambda-rust \
ci-ltac2 \
ci-math-classes \
ci-math-comp \
ci-mtac2 \
ci-pidetop \
ci-quickchick \
ci-sf \
ci-simple-io \
ci-tlc \
ci-unimath \
ci-vst
.PHONY: ci-all $(CI_TARGETS)
ci-help:
echo '*** Coq CI system, please specify a target to build.'
false
ci-all: $(CI_TARGETS)
ci-color: ci-bignums
ci-math-classes: ci-bignums
ci-corn: ci-math-classes
ci-quickchick: ci-ext-lib ci-simple-io
ci-formal-topology: ci-corn
# Generic rule, we use make to ease travis integration with mixed rules
$(CI_TARGETS): ci-%:
+./dev/ci/ci-wrapper.sh $*
# For emacs:
# Local Variables:
# mode: makefile
# End:
|
