summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--passes/equiv/Makefile.inc5
-rw-r--r--passes/equiv/equiv_make.cc (renamed from passes/sat/equiv_make.cc)0
-rw-r--r--passes/equiv/equiv_simple.cc (renamed from passes/sat/equiv_simple.cc)0
-rw-r--r--passes/equiv/equiv_status.cc (renamed from passes/sat/equiv_status.cc)0
-rw-r--r--passes/sat/Makefile.inc3
5 files changed, 5 insertions, 3 deletions
diff --git a/passes/equiv/Makefile.inc b/passes/equiv/Makefile.inc
new file mode 100644
index 00000000..16abcd96
--- /dev/null
+++ b/passes/equiv/Makefile.inc
@@ -0,0 +1,5 @@
+
+OBJS += passes/equiv/equiv_make.o
+OBJS += passes/equiv/equiv_simple.o
+OBJS += passes/equiv/equiv_status.o
+
diff --git a/passes/sat/equiv_make.cc b/passes/equiv/equiv_make.cc
index 07374cfc..07374cfc 100644
--- a/passes/sat/equiv_make.cc
+++ b/passes/equiv/equiv_make.cc
diff --git a/passes/sat/equiv_simple.cc b/passes/equiv/equiv_simple.cc
index b87f4ed7..b87f4ed7 100644
--- a/passes/sat/equiv_simple.cc
+++ b/passes/equiv/equiv_simple.cc
diff --git a/passes/sat/equiv_status.cc b/passes/equiv/equiv_status.cc
index bcd09cd9..bcd09cd9 100644
--- a/passes/sat/equiv_status.cc
+++ b/passes/equiv/equiv_status.cc
diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc
index d3c323c4..4fa6bf0d 100644
--- a/passes/sat/Makefile.inc
+++ b/passes/sat/Makefile.inc
@@ -4,7 +4,4 @@ OBJS += passes/sat/freduce.o
OBJS += passes/sat/eval.o
OBJS += passes/sat/miter.o
OBJS += passes/sat/expose.o
-OBJS += passes/sat/equiv_make.o
-OBJS += passes/sat/equiv_simple.o
-OBJS += passes/sat/equiv_status.o