From d5148f2e013a7c0e4cced043d0a01a7fb0d3f069 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 1 Sep 2014 11:45:26 +0200 Subject: [PATCH] Moved "share" and "wreduce" to passes/opt/ --- passes/cmds/Makefile.inc | 1 - passes/opt/Makefile.inc | 2 ++ passes/{sat => opt}/share.cc | 0 passes/{cmds => opt}/wreduce.cc | 0 passes/sat/Makefile.inc | 1 - 5 files changed, 2 insertions(+), 2 deletions(-) rename passes/{sat => opt}/share.cc (100%) rename passes/{cmds => opt}/wreduce.cc (100%) diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc index 4cf61150e..eba61d1df 100644 --- a/passes/cmds/Makefile.inc +++ b/passes/cmds/Makefile.inc @@ -20,6 +20,5 @@ OBJS += passes/cmds/write_file.o OBJS += passes/cmds/connwrappers.o OBJS += passes/cmds/cover.o OBJS += passes/cmds/trace.o -OBJS += passes/cmds/wreduce.o OBJS += passes/cmds/plugin.o diff --git a/passes/opt/Makefile.inc b/passes/opt/Makefile.inc index 9dfb32c87..3a8d27f93 100644 --- a/passes/opt/Makefile.inc +++ b/passes/opt/Makefile.inc @@ -6,4 +6,6 @@ OBJS += passes/opt/opt_reduce.o OBJS += passes/opt/opt_rmdff.o OBJS += passes/opt/opt_clean.o OBJS += passes/opt/opt_const.o +OBJS += passes/opt/share.o +OBJS += passes/opt/wreduce.o diff --git a/passes/sat/share.cc b/passes/opt/share.cc similarity index 100% rename from passes/sat/share.cc rename to passes/opt/share.cc diff --git a/passes/cmds/wreduce.cc b/passes/opt/wreduce.cc similarity index 100% rename from passes/cmds/wreduce.cc rename to passes/opt/wreduce.cc diff --git a/passes/sat/Makefile.inc b/passes/sat/Makefile.inc index 9aa806429..4fa6bf0d4 100644 --- a/passes/sat/Makefile.inc +++ b/passes/sat/Makefile.inc @@ -4,5 +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/share.o