From fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Thu, 8 Jun 2017 14:16:10 +0200
Subject: 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
---
 .bintray.json | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .bintray.json

(limited to '.bintray.json')

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
+}
-- 
cgit v1.2.3