diff options
| author | Emilio Jesus Gallego Arias | 2019-03-05 13:50:23 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-05 13:54:35 +0100 |
| commit | c0948de203f6eccb42c47c2e818cf8234f09ec79 (patch) | |
| tree | 20d2e3d7652c2b57816df51effc5057df10b1cca | |
| parent | b0d35837ff193b66ba37355093b2227f2b1be1ac (diff) | |
[dune] [checker] Don't install internal checker library.
This library is private and shouldn't be exposed to plugins.
| -rw-r--r-- | checker/dune | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/checker/dune b/checker/dune index ee427d26c5..73cbbc8d19 100644 --- a/checker/dune +++ b/checker/dune @@ -3,8 +3,7 @@ ; If we don't pack checker we will have a problem here due to ; duplicate module names in the whole build. (library - (name checklib) - (public_name coq.checklib) + (name coq_checklib) (synopsis "Coq's Standalone Proof Checker") (modules :standard \ coqchk votour) (wrapped true) @@ -15,14 +14,14 @@ (public_name coqchk) (package coq) (modules coqchk) - (flags :standard -open Checklib) - (libraries coq.checklib)) + (flags :standard -open Coq_checklib) + (libraries coq_checklib)) (executable (name votour) (public_name votour) (package coq) (modules votour) - (flags :standard -open Checklib) - (libraries coq.checklib)) + (flags :standard -open Coq_checklib) + (libraries coq_checklib)) |