From dc916f4d475f1661e72ce43a26320c268fcf034c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 3 Oct 2018 20:51:05 +0200
Subject: [dune] Add `(package coq)` scope to artifacts.

This will allow us to define extra packages such as `coq-refman`.
---
 checker/dune | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'checker')

diff --git a/checker/dune b/checker/dune
index d520171f98..ebb3dd7583 100644
--- a/checker/dune
+++ b/checker/dune
@@ -19,6 +19,7 @@
 (executable
  (name main)
  (public_name coqchk)
+ (package coq)
  (modules main)
  (flags :standard -open Checklib)
  (libraries coq.checklib))
@@ -26,6 +27,7 @@
 (executable
  (name votour)
  (public_name votour)
+ (package coq)
  (modules votour)
  (flags :standard -open Checklib)
  (libraries coq.checklib))
-- 
cgit v1.2.3