From 0c6505a26a537dc911b6566f82d759521e527c08 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Jan 2008 20:01:00 -0800
Subject: Version abc80130_2

---
 src/aig/cnf/module.make | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/aig/cnf/module.make

(limited to 'src/aig/cnf/module.make')

diff --git a/src/aig/cnf/module.make b/src/aig/cnf/module.make
new file mode 100644
index 00000000..dbcaeba4
--- /dev/null
+++ b/src/aig/cnf/module.make
@@ -0,0 +1,8 @@
+SRC +=    src/aig/cnf/cnfCore.c \
+    src/aig/cnf/cnfCut.c \
+    src/aig/cnf/cnfData.c \
+    src/aig/cnf/cnfMan.c \
+    src/aig/cnf/cnfMap.c \
+    src/aig/cnf/cnfPost.c \
+    src/aig/cnf/cnfUtil.c \
+    src/aig/cnf/cnfWrite.c 
-- 
cgit v1.2.3