Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204############################################################################ # The Rocq Prover / The Rocq Development Team #### v # Copyright INRIA, CNRS and contributors #### <O___,, # (see version control and CREDITS file for authors & dates) #### \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_PLATFORM_FULL= \ ci-itauto \ ci-aac_tactics \ ci-bignums \ ci-coq_dpdgraph \ ci-coquelicot \ ci-corn \ ci-coqprime \ ci-elpi \ ci-hb \ ci-ext_lib \ ci-equations \ ci-flocq \ ci-coqhammer \ ci-hott \ ci-iris \ ci-math_classes \ ci-mathcomp \ ci-mathcomp_word \ ci-mczify \ ci-finmap \ ci-bigenough \ ci-analysis \ ci-analysis_stdlib \ ci-menhir \ ci-mtac2 \ ci-paramcoq \ ci-quickchick \ ci-reduction_effects \ ci-relation_algebra \ ci-simple_io \ ci-stdlib \ ci-unicoq
CI_TARGETS:=$(filter-out ci-common,$(patsubst dev/ci/scripts/%.sh,%,$(wildcard dev/ci/scripts/ci-*.sh)))
CI_VIRTUAL_TARGETS= \ ci-elpi_hb \ ci-platform_full
.PHONY: ci-all ci-update ci-reset $(CI_TARGETS) $(CI_VIRTUAL_TARGETS)
ci-help: echo '*** Coq CI system, please specify a target to build.' false
ci-all: $(CI_TARGETS)
ci-argosy: ci-stdlib
ci-atbr: ci-stdlib
ci-bignums: ci-stdlib
ci-category_theory: ci-equations
ci-coinduction: ci-stdlib
ci-color: ci-bignums
ci-lean_importer: ci-stdlib
ci-mathcomp: ci-elpi_hb ci-micromega
ci-coqprime: ci-bignumsci-coquelicot: ci-mathcomp ci-stdlibci-deriving: ci-mathcomp ci-stdlibci-math_classes: ci-bignums
ci-coqhammer: ci-stdlib
ci-coq_dpdgraph: ci-stdlib
ci-coq_performance_tests: ci-stdlib
ci-coq_tools: ci-stdlib
ci-corn: ci-math_classes ci-elpi
ci-mtac2: ci-unicoq ci-stdlib
ci-coqutil: ci-stdlibci-rewriter: ci-stdlibci-bedrock2: ci-coqutilci-bedrock2_examples: ci-bedrock2ci-rupicola: ci-bedrock2 ci-coqutilci-fiat_crypto: ci-coqprime ci-rewriter ci-bedrock2 ci-coqutil ci-rupicolaci-fiat_crypto_legacy: ci-coqprimeci-fiat_crypto_ocaml: ci-fiat_cryptoci-fiat_parsers: ci-stdlib
ci-fourcolor: ci-mathcompci-oddorder: ci-mathcompci-fcsl_pcm: ci-mathcomp ci-stdlibci-mczify: ci-mathcomp ci-stdlibci-mathcomp_test: ci-mathcompci-mathcomp_word: ci-mathcomp ci-stdlibci-finmap: ci-mathcompci-bigenough: ci-mathcompci-analysis: ci-elpi_hb ci-finmap ci-bigenoughci-analysis_stdlib: ci-analysis ci-stdlib
ci-hb: ci-elpi
ci-elpi_test: ci-elpi ci-stdlibci-hb_test: ci-hb
ci-trakt: ci-elpi ci-stdlib
ci-engine_bench: ci-stdlib
ci-ext_lib: ci-stdlib
ci-itauto: ci-stdlib
ci-jasmin: ci-mathcomp_word ci-itree
ci-autosubst: ci-stdlibci-iris: ci-autosubst
ci-simple_io: ci-ext_libci-quickchick: ci-ext_lib ci-simple_io ci-mathcompci-quickchick_test: ci-quickchickci-paco: ci-stdlibci-itree: ci-ext_lib ci-paco
ci-equations: ci-stdlibci-equations_test: ci-equations
ci-flocq: ci-stdlib
ci-menhir: ci-stdlib
ci-metarocq: ci-equations ci-ext_lib
ci-neural_net_interp: ci-stdlib
ci-vst: ci-compcert
ci-compcert: ci-menhir ci-flocq
ci-paramcoq: ci-stdlib
ci-aac_tactics: ci-stdlibci-relation_algebra: ci-aac_tactics ci-mathcomp
ci-rocq_lsp: ci-stdlib
ci-sf: ci-stdlib
ci-smtcoq: ci-stdlib ci-trakt
ci-stalmarck: ci-stdlib
ci-stdlib_test: ci-stdlibci-stdlib_doc: ci-stdlib
ci-waterproof: ci-stdlib
ci-refman: ci-mathcomp ci-mczify
# Virtual targets used by the CI to group compilation of rules in a single job
ci-elpi_hb: ci-elpi ci-hb
ci-platform_full: $(CI_PLATFORM_FULL)
# Generic rule, we use make to ease CI integration$(CI_TARGETS): ci-%: +./dev/ci/ci-wrapper.sh $*
# Helper to update all CI repositories already downloadedci-update: ./dev/ci/ci-update.sh
# Helper to reset all CI repositories already downloadedci-reset: ./dev/ci/ci-reset.sh
# if we do eg "make states ci-foo", ci-foo will wait for states# if we just do "make ci-foo" it will just run ci-foo# (technically the ci-* targets depend on world but it can be# convenient to run them with less than world compiled)NON_CI_GOALS:=$(strip $(filter-out ci-%,$(MAKECMDGOALS)))ifneq (,$(NON_CI_GOALS))$(CI_TARGETS): $(NON_CI_GOALS)$(CI_VIRTUAL_TARGETS): $(NON_CI_GOALS)endif
# For emacs:# Local Variables:# mode: makefile# End: