From 46c3ab137fe6705293e8a44624e2a564cde1d55a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 29 Nov 2017 14:37:37 +0100
Subject: Add a -Q option to coqchck.

It has exactly the same effect as -R, because there is no such thing as
implicit relativization for object files in coqchk, contrarily to what
Require does in coqtop.
---
 checker/checker.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/checker/checker.ml b/checker/checker.ml
index b2433ee364..cc285d5e4c 100644
--- a/checker/checker.ml
+++ b/checker/checker.ml
@@ -329,6 +329,9 @@ let parse_args argv =
     | ("-I"|"-include") :: d :: rem -> set_default_include d; parse rem
     | ("-I"|"-include") :: []       -> usage ()
 
+    | "-Q" :: d :: p :: rem -> set_rec_include d p;parse rem
+    | "-Q" :: ([] | [_]) -> usage ()
+
     | "-R" :: d :: p :: rem -> set_rec_include d p;parse rem
     | "-R" :: ([] | [_]) -> usage ()
 
-- 
cgit v1.2.3