aboutsummaryrefslogtreecommitdiffhomepage
path: root/.circleci
Commit message (Collapse)AuthorAge
* [ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0Gravatar Emilio Jesus Gallego Arias2018-07-11
| | | | | | - We update the OCaml version used in the base CI image. - Windows / OSX image building is also updated to use newer OCaml. - We also update Dune to 1.0.0.
* [ci] [docker] Make sure we don't install optional packages with apt.Gravatar Emilio Jesus Gallego Arias2018-07-02
| | | | | | | | | | | | | This should help towards ensuring that the system only has the packages we specify in the Dockerfile. We were missing: - `git`: used in the CI system itself! - `rsync`: used in the test-suite - `python3-setuptools`, `python3-wheel`: necessary to use pip3 properly to install the missing python package. - `autoconf`, `automake`: a few CI contribs depend on them.
* [ci] update docker image to include elpi 1.0.4Gravatar Enrico Tassi2018-06-13
|
* [ci] [docker] Pin specific versions of OPAM CI dependencies.Gravatar Emilio Jesus Gallego Arias2018-06-06
| | | | | | | | | | | | | Packages such as `menhir` or `elpi` are fragile w.r.t. updates, so allowing a non-deterministic install in the Dockefile seems risky. We have found trouble with Menhir in the past. We thus specify a concrete version for all `CI_OPAM` packages. cc: https://github.com/AbsInt/CompCert/issues/234 We also add remove `hevea` from `apt` dependencies as it hasn't been needed since #7466 and add `texlive-science` which is needed to build the `source-doc` target due to the `textgreek` package being used.
* Allow make clean to work on a fresh cloneGravatar Jason Gross2018-05-25
| | | | | | | | | | | The file `config/Makefile` doesn't exist unless we run `./configure`. We shouldn't have to run `./configure` to run `make clean`. We now no longer error in any case if `config/Makefile` doesn't exist; this is simpler than only not erroring if the target is `clean`. We also now test this property when building on CI. This fixes #7542
* [circle] Use Docker image from Gitlab registry.Gravatar Emilio Jesus Gallego Arias2018-05-17
|
* [ci] [circleci] Remove jobs done in Gitlab efficiently.Gravatar Emilio Jesus Gallego Arias2018-05-14
| | | | | Following the migration to Gitlab (#6919) we reduce Circle load, see also discussion in #7436 and #7482.
* [ci] Add mit-plv/cross-cryptoGravatar Jason Gross2018-05-09
| | | | | I followed the code for fiat-crypto / fiat-parsers. I hope I didn't miss anything.
* [gitlab] Add bleeding-edge flambda build.Gravatar Emilio Jesus Gallego Arias2018-05-07
| | | | | | | | | | | | | | We also introduce a bit more systematic job naming: `base/edge`. In order to make the flambda switch selectable we update the Docker image so all the dependencies are installed in that one. Note the extra quote rule for the flambda parameters, but unless we can assign arrays to Gitlab variables there is not a good way to do this I'm afraid. With this patch we are getting close to being able to remove most builds from Travis.
* [ci] Add ounit to the base Docker package set.Gravatar Emilio Jesus Gallego Arias2018-05-07
| | | | This should help #6808.
* [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
| | | | | | | | | | | | | | | | | | | | We provide a custom `Dockerfile` for Coq's CI system, based on `ubuntu:bionic`. The image includes the required set of packages and OPAM switches. This greatly simplifies the Gitlab and Circle scripts, at the cost of having to push a Docker build for them to depend on. Travis is not included in this PR as it requires significant more refactoring due to lack of native Docker support. This is work in progress but ready, a build hook is used so the image is properly tagged in the Docker autobuilder. We need to improve the autobuilder setup but this last point requires some design on how to trigger it. Fixes #7383
* [ci]: add pidetop (fix #7336)Gravatar Enrico Tassi2018-05-02
|
* [CI] elpi 1.0 has an official opam packageGravatar Enrico Tassi2018-04-27
|
* circle CI: do not use cache from old config.yml versionsGravatar Gaëtan Gilbert2018-04-27
| | | | It begs things to break when the cache is out of sync with the system packages.
* updating CI for Mtac2Gravatar Beta Ziliani2018-04-25
|
* CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
|
* Simplify CircleCI scriptGravatar Yishuai Li2018-04-15
|
* Remove from CircleCI builds that are already taken care of by Travis.Gravatar Théo Zimmermann2018-02-21
|
* ci: add elpiGravatar Enrico Tassi2018-02-19
|
* Merge PR #6601: Circle CI: fix cache selection.Gravatar Maxime Dénès2018-01-31
|\
* | Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
| | | | | | | | | | | | | | | | | | When invoking through Makefile we always rebuild dependencies. To skip dependencies, invoke ci-wrapper directly. We make Circle CI do this. In order to properly support invoking ci-wrapper directly we replace "make" in ci-common by a bash function which adds -j to the make invocation outside submakes. We also set TIMED in the ci-wrapper.
| * Circle CI: fix cache selection.Gravatar Gaëtan Gilbert2017-12-19
|/
* Circle CI: separate job to boot opam with all used packages.Gravatar Gaëtan Gilbert2017-12-14
|
* Circle CI: remove warning jobsGravatar Gaëtan Gilbert2017-12-14
|
* Circle CI: uses dependencies between external developments.Gravatar Gaëtan Gilbert2017-12-13
|
* Circle CI: enable TIMED for external developmentsGravatar Gaëtan Gilbert2017-12-13
|
* Circle CI: use cache for opamGravatar Gaëtan Gilbert2017-12-13
|
* Circle CI: enable native compiler.Gravatar Gaëtan Gilbert2017-12-13
|
* Near-full implementation of Circle CI.Gravatar Gaëtan Gilbert2017-12-12
| | | | | | | | | | | | | | VS gitlab: + fiat-crypto (Circle has 4GB RAM, gitlab 2GB) - caching opam (TODO) - publishing artefacts (TODO) * tests with -local, not installed VS travis: + reusing build products - flambda validate job (TODO?) - OSX jobs (TODO at least check if free OSX is possible) - linter (TODO?)
* CI: poc Circleci configurationGravatar Arnaud Spiwack2017-12-11
Revert "CI: poc Circleci configuration" Committed on master by mistake. Clearly I'm too clumsy to be trusted with push rights. This reverts commit d606a85d53fbd0227b15e18701e2ac4c9d911f34. CI: poc Circleci configuration Fixup Try minimising build for faster testing Various fixes Fixup: yaml identation Do not -j2: native compiler seems to take too much memory Revert "Do not -j2: native compiler seems to take too much memory" This reverts commit 4886151288a8d895c0fd23f9bded0970c59e1372. Deactivate native compiler Fixup (how did this happen?) Do not call time (not install on docker images, will fix later) Fixup Fixup
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 18:05:54 +0000