From 4264aec518d5407f345c58e18e014e15e9ae96af Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 5 Jan 2021 11:34:35 +0100
Subject: [sysinit] new component for system initialization

This component holds the code for initializing Coq:
- parsing arguments not specific to the toplevel
- initializing all components from vernac downwards (no stm)

This commit moves stm specific arguments parsing to stm/stmargs.ml
---
 dev/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev/dune')

diff --git a/dev/dune b/dev/dune
index a6d88c94d2..ae801f9e83 100644
--- a/dev/dune
+++ b/dev/dune
@@ -34,6 +34,7 @@
     %{lib:coq.tactics:tactics.cma}
     %{lib:coq.vernac:vernac.cma}
     %{lib:coq.stm:stm.cma}
+    %{lib:coq.sysinit:sysinit.cma}
     %{lib:coq.toplevel:toplevel.cma}
     %{lib:coq.plugins.ltac:ltac_plugin.cma}
     %{lib:coq.top_printers:top_printers.cmi}
-- 
cgit v1.2.3