Merge pull request #1030 from coq/gares-patch-1

fix dependencies of ppx
coq · Feb 12, 2025 · e7c2b0c · e7c2b0c
2 parents 25581cb + ff78596
commit e7c2b0c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/language-server/dm/dune b/language-server/dm/dune
@@ -3,6 +3,7 @@
  (public_name vscoq-language-server.dm)
  (modules :standard \ vscoqtop_proof_worker vscoqtop_tactic_worker)
  (preprocess (pps ppx_optcomp -- -cookie "ppx_optcomp.env=env ~coq:(Defined \"%{coq:version.major}.%{coq:version.minor}\")"))
+ (preprocessor_deps vscoq_config.mlh)
  (libraries base coq-core.sysinit coq-core.vernac coq-core.parsing lsp sel protocol language))
 
 (executable
@@ -12,6 +13,7 @@
  (flags -linkall)
  (package vscoq-language-server)
  (preprocess (pps ppx_optcomp -- -cookie "ppx_optcomp.env=env ~coq:(Defined \"%{coq:version.major}.%{coq:version.minor}\")"))
+ (preprocessor_deps vscoq_config.mlh)
  (libraries coq-core.sysinit coq-core.tactics lsp dm protocol))
 
 (executable