From 504018731249475d1ab57a97e7cbd3842b13e984 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 30 Sep 2015 09:54:35 +0200
Subject: Build the compatibility files.

---
 Makefile.common | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 8f3d39bf22..92a48cd6cc 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -302,6 +302,7 @@ SETOIDSVO:=$(call cat_vo_itarget, theories/Setoids)
 UNICODEVO:=$(call cat_vo_itarget, theories/Unicode)
 CLASSESVO:=$(call cat_vo_itarget, theories/Classes)
 PROGRAMVO:=$(call cat_vo_itarget, theories/Program)
+COMPATVO:=$(call cat_vo_itarget, theories/Compat)
 
 THEORIESVO:=\
   $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) \
@@ -311,7 +312,8 @@ THEORIESVO:=\
   $(PARITHVO) $(NARITHVO) $(ZARITHVO) \
   $(SETSVO) $(FSETSVO) $(MSETSVO) $(MMAPSVO) \
   $(REALSVO)  $(SORTINGVO) $(QARITHVO) \
-  $(NUMBERSVO) $(STRUCTURESVO) $(VECTORSVO)
+  $(NUMBERSVO) $(STRUCTURESVO) $(VECTORSVO) \
+  $(COMPATVO)
 
 THEORIESLIGHTVO:= $(INITVO) $(LOGICVO) $(UNICODEVO) $(ARITHVO)
 
-- 
cgit v1.2.3