diff options
| -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 |