aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Collapse)AuthorAge
* Emergency fix for OSX packaging job on Travis.Gravatar Maxime Dénès2018-03-16
| | | | | | | | Updates to homebrew packages can currently make this packaging job fail at any stage of the release cycle. Also, we are leaving dangerously because we depend on python2 and python3 at the same time, which is not supported by homebrew. To make this more reliable, we should switch to a Nix-based build infrastructure at least for macOS.
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09
| | | | | | | | The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content.
* Merge PR #6817: [configure]: support for profilesGravatar Maxime Dénès2018-03-08
|\
* | Fix failing packaging job.Gravatar Théo Zimmermann2018-03-05
| | | | | | | | | | | | | | | | gtksourceview depends transitively on py2cairo which was updated in Homebrew to depend explicitly on python2 (see Homebrew/homebrew-core#24714): this makes the python3 install step impossible. We also remove the libxml2 install step which was failing in a non-fatal way.
| * configure: -warn-error: now takes a bool so that you can also turn it offGravatar Enrico Tassi2018-03-05
|/
* travis: elpi needs findlib >= 1.5Gravatar Enrico Tassi2018-02-28
|
* tavis: make the . in pkg.version part of $VERSIONGravatar Enrico Tassi2018-02-28
|
* ci: add elpiGravatar Enrico Tassi2018-02-19
|
* Merge PR #6636: Stop running duplicate Travis jobs on pull requests.Gravatar Maxime Dénès2018-01-30
|\
* | Add a comment referencing travis issue numbersGravatar Jason Gross2018-01-25
| |
* | Delay installing packagesGravatar Jason Gross2018-01-23
| | | | | | | | | | sudo apt-get install will fail on gcc-multilib if apt-get update cannot fetch launchpad, so instead we delay installing these packages.
* | Use travis_retry on apt-get updateGravatar Jason Gross2018-01-23
| | | | | | | | | | | | | | | | | | | | Script modified from https://unix.stackexchange.com/questions/175146/apt-get-update-exit-status I stuck the code in "install" rather than "before_install" so that the lint target didn't need to be changed. I also haven't touched the targets that add more packages; I'll leave that to someone who knows more about the "&" and "*" syntax being used in the configuration.
| * Stop running duplicate Travis jobs on pull requests.Gravatar Théo Zimmermann2018-01-23
|/ | | | These tests are already done by CircleCI.
* Update the lower-bound of the lablgtk dependency.Gravatar Théo Zimmermann2018-01-04
| | | | Closes #6509.
* 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.
* Compatibility of the Coq macOS package with OS X 10.11.Gravatar Théo Zimmermann2017-12-15
| | | | | | Travis has moved on to macOS 10.12 but this makes the package incompatible with earlier versions. This fix should restore the compatibility with OS X 10.11.
* CI: use -byte-only in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
| | | | | | This avoids mixing native and byte compilation as the debug printers are always byte compiled and the tools have no .byte rule, only the OCAMLBEST rule.
* Travis: do not build stdlib in [warnings] jobs.Gravatar Gaëtan Gilbert2017-11-28
|
* Add Equations to CIGravatar Matthieu Sozeau2017-11-20
|
* [ci] [coq] Complete 4.06.0 support.Gravatar Emilio Jesus Gallego Arias2017-11-13
| | | | | | | | | | | | | Due to an API change in laglgtk, we need to update CoqIDE. We use a makefile hack so it can compile with lablgtk < 2.8.16, another option would be to require 2.8.16 as a minimal dependency. We also refactor travis to test more lablgtk versions. We also need to account for improved attribute handling in 4.06.0, in particular module aliases will propagate the deprecation status. Fixes #6140.
* Merge PR #6071: [ci] Add Ltac2Gravatar Maxime Dénès2017-11-13
|\
* \ Merge PR #1139: Add a linter.Gravatar Maxime Dénès2017-11-06
|\ \
| | * [ci] Add Ltac2Gravatar Jason Gross2017-11-04
| |/ |/|
* | [ocaml] [travis] Add preliminary 4.06 CI testing.Gravatar Emilio Jesus Gallego Arias2017-10-27
| | | | | | | | We are still missing an updated LABLGTK.
| * Put linter at the top of the tests.Gravatar Théo Zimmermann2017-10-25
| |
| * Linter: check that files end with newlines.Gravatar Gaëtan Gilbert2017-10-25
| | | | | | | | We use git check-attr to look at the same files as git diff --check.
| * Add linter.Gravatar Gaëtan Gilbert2017-10-25
| |
* | Merge PR #5995: Revert "Add debug output to brew update."Gravatar Maxime Dénès2017-10-25
|\ \
* \ \ Merge PR #5971: [travis] Add flambda testing.Gravatar Maxime Dénès2017-10-25
|\ \ \
| | * | Revert "Add debug output to brew update."Gravatar Théo Zimmermann2017-10-20
| |/ / |/| | | | | | | | This reverts commit c7465d2ecb69e64613dd38b262f5e78ecad99de1.
* | | rename ci-iris-coq -> ci-iris-lambda-rustGravatar Ralf Jung2017-10-19
| | |
| * | [travis] Add flambda testing.Gravatar Emilio Jesus Gallego Arias2017-10-18
|/ /
* | Merge PR #1140: Fix Travis OSX deploy conditional.Gravatar Maxime Dénès2017-10-10
|\ \
| * | Fix Travis OSX deploy conditional.Gravatar Gaëtan Gilbert2017-10-09
| |/ | | | | | | IS is intended for testing nullity.
* / Revert "Switch Travis to OSX 10.12 and Xcode 8.3.3."Gravatar Théo Zimmermann2017-10-07
|/ | | | | | This reverts commit 587e556a909fcd2e1507a9230d9cdaffa3f9394e from PR #1024. This commit did not solve any issue at the time it was merged but made the macOS package we produce compatible only with macOS 10.12 and later.
* Merge PR #1123: [ci] Remove deploy to GitHub of OS X package.Gravatar Maxime Dénès2017-10-06
|\
* \ Merge PR #1093: [doc] Update INSTALL to match reality.Gravatar Maxime Dénès2017-10-05
|\ \
| | * [ci] Remove deploy to GitHub of OS X package.Gravatar Théo Zimmermann2017-10-05
| | | | | | | | | | | | | | | This is inconvenient because it can only be tested on tags and it didn't work for V8.7+beta1.
* | | Remove GeoCoq from allowed failures.Gravatar Théo Zimmermann2017-10-03
| |/ |/|
| * [doc] Update INSTALL to match reality.Gravatar Emilio Jesus Gallego Arias2017-09-25
| | | | | | | | [c.f] https://coq.inria.fr/bugs/show_bug.cgi?id=4270
* | Do not run Travis OS X packaging job on PRsGravatar Théo Zimmermann2017-09-21
|/ | | | This job was useless anyway because the depoly and pre-deploy phases were not run.
* Add debug output to brew update.Gravatar Maxime Dénès2017-09-15
|
* Switch Travis to OSX 10.12 and Xcode 8.3.3.Gravatar Maxime Dénès2017-09-15
|
* Merge PR #971: Don't allow coq-dpdgraph to failGravatar Maxime Dénès2017-08-31
|\
* | Fix deployment to multiple providers.Gravatar Maxime Dénès2017-08-29
| |
* | Trying to fix deployment of master on bintray, and deploy tags to github.Gravatar Maxime Dénès2017-08-29
| | | | | | | | | | Deployment doesn't work on PRs, so I have to push it directly, sorry for the noise.
* | Separate jobs for test-suite and package building under OSX.Gravatar Maxime Dénès2017-08-18
| |
* | Make Travis generate OSX packages.Gravatar Maxime Dénès2017-08-17
| | | | | | | | | | The packages will be built only for main branches (not pull requests), and are accessible via bintray: https://bintray.com/coq/coq
| * Don't allow coq-dpdgraph to failGravatar Jason Gross2017-08-15
|/
* Merge PR #746: Timing on ci via coq_makefile for various projectsGravatar Maxime Dénès2017-07-31
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-28 05:08:36 +0000