From 01d92cfec31477f4f1c973d09639fb8b7fd7f8f6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 16 Nov 2011 08:46:36 +0000
Subject: Completed list of theories targets

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14659 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile.build b/Makefile.build
index ba59fa379a..aa98d5e19c 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -441,6 +441,11 @@ reals: $(REALSVO)
 setoids: $(SETOIDSVO)
 sorting: $(SORTINGVO)
 numbers: $(NUMBERSVO)
+unicode: $(UNICODEVO)
+classes: $(CLASSESVO)
+program: $(PROGRAMVO)
+structures: $(STRUCTURESVO)
+vectors: $(VECTORSVO)
 
 noreal: logic arith bool zarith qarith lists sets fsets relations \
 	wellfounded setoids sorting
-- 
cgit v1.2.3