From d37e815f135cd8cf43f3aea30a53fb27e06091b9 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 25 Jan 2019 10:40:31 +0530
Subject: [PATCH] Start work on CircleCI integration

CircleCI is nicer than Travis since it allows using custom docker images
transparently, greatly simplifying dependency management.
---
 .circleci/images/Dockerfile | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .circleci/images/Dockerfile

diff --git a/.circleci/images/Dockerfile b/.circleci/images/Dockerfile
new file mode 100644
index 000000000..1cfdf3ea6
--- /dev/null
+++ b/.circleci/images/Dockerfile
@@ -0,0 +1,6 @@
+FROM ubuntu:bionic
+
+RUN apt-get update && apt-get install -y libgl1-mesa-dev libxi-dev libxrandr-dev libxinerama-dev libxcursor-dev libxcb-xkb-dev libdbus-1-dev libxkbcommon-dev libharfbuzz-dev python3
+
+LABEL com.circleci.preserve-entrypoint=true
+ENTRYPOINT python -c "import time; time.sleep(100000)"