From 5080991902a05ee720ab1d6fa1c9d592d3ffd36c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 6 Sep 2015 13:20:32 +0200
Subject: Adding a Makefile target for the MSets and MMaps directories.

The target creation process should eventually be automated, because it
is tedious and error-prone as witnessed by this commit.
---
 Makefile.build | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile.build b/Makefile.build
index 83cdd506e3..6ceff2de95 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -524,6 +524,7 @@ hightactics: tactics/hightactics.cma
 .PHONY: init theories theories-light
 .PHONY: logic arith bool narith zarith qarith lists strings sets
 .PHONY: fsets relations wellfounded reals setoids sorting numbers noreal
+.PHONY: msets mmaps
 
 init: $(INITVO)
 
@@ -551,6 +552,8 @@ classes: $(CLASSESVO)
 program: $(PROGRAMVO)
 structures: $(STRUCTURESVO)
 vectors: $(VECTORSVO)
+msets: $(MSETSVO)
+mmaps: $(MMAPSVO)
 
 noreal: unicode logic arith bool zarith qarith lists sets fsets \
 	relations wellfounded setoids sorting
-- 
cgit v1.2.3