diff options
| author | Théo Zimmermann | 2019-03-14 10:04:53 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-14 10:04:53 +0100 |
| commit | d07f718785414e643c69a77e38bfa43792d877f3 (patch) | |
| tree | 97373664d53a8466959e1aec221a5e2853df59c2 | |
| parent | 27ab0d69e87fa3ce414cdaa205f7f6266693e263 (diff) | |
| parent | c0948de203f6eccb42c47c2e818cf8234f09ec79 (diff) | |
Merge PR #9700: [dune] [checker] Don't install internal checker library.
Reviewed-by: Zimmi48
Reviewed-by: ppedrot
| -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)) |