diff options
| author | Pierre-Marie Pédrot | 2015-09-06 13:20:32 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-06 13:20:32 +0200 |
| commit | 5080991902a05ee720ab1d6fa1c9d592d3ffd36c (patch) | |
| tree | 53b68887977933e834a16c91114846c05040dca3 | |
| parent | 26be4ca94f8ba0a03826a2df09491bb0d96d7363 (diff) | |
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.
| -rw-r--r-- | Makefile.build | 3 |
1 files changed, 3 insertions, 0 deletions
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 |