From 9e39d88ffb5829a9e2c82fbf54c0765a819b3e5e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 26 Sep 2018 22:49:20 +0200
Subject: [dune] [test-suite] Support for running the test suite with Dune.

---
 ide/dune | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide')

diff --git a/ide/dune b/ide/dune
index 037b0fcc9e..70a1709f37 100644
--- a/ide/dune
+++ b/ide/dune
@@ -10,6 +10,8 @@
 
 (executable
  (name fake_ide)
+ (public_name fake_ide)
+ (package coqide-server)
  (modules fake_ide)
  (libraries coqide-server.protocol coqide-server.core))
 
-- 
cgit v1.2.3