diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-08 14:16:10 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-17 15:14:57 +0200 |
commit | fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd (patch) | |
tree | b4d94372e02db15d07d02bf6ec7920086bf3974f /.bintray.json | |
parent | 16b0b833a3cee070a207e2039bde0ae77b8774d4 (diff) |
Make Travis generate OSX packages.
The packages will be built only for main branches (not pull requests),
and are accessible via bintray: https://bintray.com/coq/coq
Diffstat (limited to '.bintray.json')
-rw-r--r-- | .bintray.json | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.bintray.json b/.bintray.json new file mode 100644 index 000000000..79834064e --- /dev/null +++ b/.bintray.json @@ -0,0 +1,20 @@ +{ + "package": { + "name": "coq", + "repo": "coq", + "subject": "coq" + }, + + "version": { + "name": "8.7~alpha" + }, + + "files": + [ + {"includePattern": "_build/(.*\\.dmg)", "uploadPattern": "$1", + "matrixParams": { + "override": 1 } + } + ], + "publish": true +} |