From 3ce5229435e176609df31c9a3ca0b40de8e7223e Mon Sep 17 00:00:00 2001
From: Henry Oswald <henry.oswald@sharelatex.com>
Date: Sat, 3 Mar 2018 13:40:29 +0000
Subject: [PATCH] add SYNCTEX_BIN_HOST_PATH for ci

---
 services/clsi/docker-compose-config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/services/clsi/docker-compose-config.yml b/services/clsi/docker-compose-config.yml
index 16897c4d06..6e1fca45cf 100644
--- a/services/clsi/docker-compose-config.yml
+++ b/services/clsi/docker-compose-config.yml
@@ -21,6 +21,7 @@ services:
       SHARELATEX_CONFIG: /app/config/settings.defaults.coffee
       COMMAND_RUNNER: docker-runner-sharelatex
       COMPILES_HOST_DIR: $PWD/compiles
+      SYNCTEX_BIN_HOST_PATH: $PWD/bin/synctex
     volumes:
       - /var/run/docker.sock:/var/run/docker.sock:rw
       - ./docker-runner:/app/node_modules/docker-runner-sharelatex