From 8014f25f6db719fa62336f997963532a14c568f6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 21 Jan 2012 04:30:10 -0800
Subject: Major restructuring of the code.

---
 src/proof/fra/module.make | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 src/proof/fra/module.make

(limited to 'src/proof/fra/module.make')

diff --git a/src/proof/fra/module.make b/src/proof/fra/module.make
new file mode 100644
index 00000000..a54a98de
--- /dev/null
+++ b/src/proof/fra/module.make
@@ -0,0 +1,17 @@
+SRC +=    src/proof/fra/fraBmc.c \
+    src/proof/fra/fraCec.c \
+    src/proof/fra/fraClass.c \
+    src/proof/fra/fraClau.c \
+    src/proof/fra/fraClaus.c \
+    src/proof/fra/fraCnf.c \
+    src/proof/fra/fraCore.c \
+    src/proof/fra/fraHot.c \
+    src/proof/fra/fraImp.c \
+    src/proof/fra/fraInd.c \
+    src/proof/fra/fraIndVer.c \
+    src/proof/fra/fraLcr.c \
+    src/proof/fra/fraMan.c \
+    src/proof/fra/fraPart.c \
+    src/proof/fra/fraSat.c \
+    src/proof/fra/fraSec.c \
+    src/proof/fra/fraSim.c
-- 
cgit v1.2.3