From e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 30 Sep 2007 08:01:00 -0700
Subject: Version abc70930

---
 abc70930/src/misc/mvc/module.make | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 abc70930/src/misc/mvc/module.make

(limited to 'abc70930/src/misc/mvc/module.make')

diff --git a/abc70930/src/misc/mvc/module.make b/abc70930/src/misc/mvc/module.make
new file mode 100644
index 00000000..23735ca2
--- /dev/null
+++ b/abc70930/src/misc/mvc/module.make
@@ -0,0 +1,16 @@
+SRC +=  src/misc/mvc/mvc.c \
+    src/misc/mvc/mvcApi.c \
+    src/misc/mvc/mvcCompare.c \
+    src/misc/mvc/mvcContain.c \
+    src/misc/mvc/mvcCover.c \
+    src/misc/mvc/mvcCube.c \
+    src/misc/mvc/mvcDivide.c \
+    src/misc/mvc/mvcDivisor.c \
+    src/misc/mvc/mvcList.c \
+    src/misc/mvc/mvcLits.c \
+    src/misc/mvc/mvcMan.c \
+    src/misc/mvc/mvcOpAlg.c \
+    src/misc/mvc/mvcOpBool.c \
+    src/misc/mvc/mvcPrint.c \
+    src/misc/mvc/mvcSort.c \
+    src/misc/mvc/mvcUtils.c
-- 
cgit v1.2.3