1 files changed, 74 insertions, 0 deletions
diff --git a/ide/coqide/dune b/ide/coqide/dune
new file mode 100644
index 0000000000..12bad7ebc4
--- /dev/null
+++ b/ide/coqide/dune
@@ -0,0 +1,74 @@
+; IDE Server
+(ocamllex utf8_convert config_lexer coq_lex)
+
+(library
+ (name core)
+ (public_name coqide-server.core)
+ (wrapped false)
+ (modules document)
+ (libraries coq.lib))
+
+(executable
+ (name fake_ide)
+ (public_name fake_ide)
+ (package coqide-server)
+ (modules fake_ide)
+ (libraries coqide-server.protocol coqide-server.core))
+
+(executable
+ (name idetop)
+ (public_name coqidetop.opt)
+ (package coqide-server)
+ (modules idetop)
+ (libraries coq.toplevel coqide-server.protocol)
+ (modes native byte)
+ (link_flags -linkall))
+
+(install
+ (section bin)
+ (package coqide-server)
+ (files (idetop.bc as coqidetop.byte)))
+
+; IDE Client
+(library
+ (name coqide_gui)
+ (wrapped false)
+ (modules (:standard \ document fake_ide idetop coqide_main default_bindings_src))
+ (optional)
+ (libraries coqide-server.protocol coqide-server.core lablgtk3-sourceview3))
+
+(rule
+ (targets coqide_os_specific.ml)
+ (deps (:in-file coqide_X11.ml.in)) ; TODO support others
+ (action (copy# %{in-file} %{targets})))
+
+(executable
+ (name coqide_main)
+ (public_name coqide)
+ (package coqide)
+ (optional)
+ (modules coqide_main)
+ (modes exe byte)
+ (libraries coqide_gui))
+
+; Input-method bindings
+(executable
+ (name default_bindings_src)
+ (modules default_bindings_src))
+
+(rule
+ (targets default.bindings)
+ (deps (:gen ./default_bindings_src.exe))
+ (action (run %{gen} %{targets})))
+
+; FIXME: we should install those in share/coqide. We better do this
+; once the make-based system has been phased out.
+(install
+ (section share_root)
+ (package coqide)
+ (files
+  (coq.png as coq/coq.png)
+  (default.bindings as coq/default.bindings)
+  (coq_style.xml as coq/coq_style.xml)
+  (coq.lang as coq/coq.lang)
+  (coq-ssreflect.lang as coq/coq-ssreflect.lang)))