diff options
| author | Pierre-Marie Pédrot | 2015-10-02 16:01:46 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-02 16:01:46 +0200 |
| commit | 16c88c9be5c37ee2e4fe04f7342365964031e7dd (patch) | |
| tree | 7b5c07362dad323acae516718b9cebe94bd639af /Makefile.build | |
| parent | a3d7630d74b720b771e880dcf0fcad05de553a6e (diff) | |
| parent | 88abc50ece70405d71777d5350ca2fa70c1ff437 (diff) | |
Merge branch 'v8.5'
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.build b/Makefile.build index d8c8ba4e83..c554adadb2 100644 --- a/Makefile.build +++ b/Makefile.build @@ -525,7 +525,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 +.PHONY: msets mmaps compat init: $(INITVO) @@ -555,6 +555,7 @@ structures: $(STRUCTURESVO) vectors: $(VECTORSVO) msets: $(MSETSVO) mmaps: $(MMAPSVO) +compat: $(COMPATVO) noreal: unicode logic arith bool zarith qarith lists sets fsets \ relations wellfounded setoids sorting |