Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [CI] Fix the script used by math-classes. | Pierre-Marie Pédrot | 2018-05-18 |
| | | | | We call configure to properly regenerate the Makefile and its dependencies. | ||
* | Improve shell scripts | zapashcanon | 2018-04-05 |
| | |||
* | Put bignums, math-classes and corn dependencies in Makefile | Gaëtan Gilbert | 2017-12-13 |
| | |||
* | Merge branch 'v8.6' | Pierre-Marie Pédrot | 2017-07-04 |
|\ | |||
| * | Remove -j ${NJOBS} from make invocations in the ci | Jason Gross | 2017-06-16 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | According to https://www.gnu.org/software/make/manual/html_node/Options_002fRecursion.html#Options_002fRecursion it's not necessary, because we pass `-j ${NJOBS}` to the top-level `make` invocation in `.travis.yml`. Additionally, explicitly passing `-j` in, e.g., fiat-crypto, results in error messages such as ``` make[2]: *** write jobserver: Bad file descriptor. Stop. make[2]: *** Waiting for unfinished jobs.... make[2]: *** write jobserver: Bad file descriptor. Stop. make[1]: *** [coqprime] Error 2 make[1]: INTERNAL: Exiting with 1 jobserver tokens available; should be 2! make[1]: Leaving directory `/home/travis/build/JasonGross/coq/_build_ci/fiat-c ``` because the `-j` on the `make` in the `ci-fiat-crypto.sh` script disables jobserver mode, and the submake in fiat-crypto to make coqprime does not explicitly pass `-j`, and so reenables jobserver mode, and then `make` gets very confused. Commit made with ```bash cd dev/ci git grep --name-only -- 'make -j ${NJOBS}' | xargs sed s'/make -j \${NJOBS}/make/g' -i git grep --name-only -- 'make -f Makefile.coq -j ${NJOBS}' | xargs sed s'/make -f Makefile.coq -j \${NJOBS}/make -f Makefile.coq/g' -i ``` | ||
* | | [travis] extra test ci-bignums (+factorize other scripts) | Pierre Letouzey | 2017-06-13 |
| | | |||
* | | [travis] overlay + extra deps for math-classes (and formal-topology) | Pierre Letouzey | 2017-06-13 |
| | | |||
| * | [travis] [8.6.only] Backport latest changes from trunk. | Emilio Jesus Gallego Arias | 2017-03-22 |
| | | |||
* | | [travis] Basic support for overlays. | Emilio Jesus Gallego Arias | 2017-03-13 |
| | | | | | | | | | | | | | | We now allow the user to overlay contribution repositories and branches by adding their own rules to `ci-basic-overlay.sh`. This just provides very basic support. | ||
* | | [travis] Adding a template file and using it for all targets. | Théo Zimmermann | 2017-03-10 |
| | | |||
* | | [travis] Change headband for wider compatibility. | Théo Zimmermann | 2017-03-10 |
| | | |||
| * | [travis] Backport trunk's travis support. | Emilio Jesus Gallego Arias | 2017-03-02 |
| | |||
* | [travis] [External CI] Factor out math-comp installs. | Emilio Jesus Gallego Arias | 2017-02-15 |
| | | | | | We make math-comp overlays easier, we also start structuring the scripts a bit more. | ||
* | [travis] Move ci files from `tools` to `dev`. | Maxime Dénès | 2017-02-07 |