diff options
| -rw-r--r-- | passes/cmds/Makefile.inc | 1 | ||||
| -rw-r--r-- | passes/opt/Makefile.inc | 2 | ||||
| -rw-r--r-- | passes/opt/share.cc (renamed from passes/sat/share.cc) | 0 | ||||
| -rw-r--r-- | passes/opt/wreduce.cc (renamed from passes/cmds/wreduce.cc) | 0 | ||||
| -rw-r--r-- | passes/sat/Makefile.inc | 1 |
5 files changed, 2 insertions, 2 deletions
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 index 5f3cf4214..5f3cf4214 100644 --- a/passes/sat/share.cc +++ b/passes/opt/share.cc diff --git a/passes/cmds/wreduce.cc b/passes/opt/wreduce.cc index 2269859d1..2269859d1 100644 --- a/passes/cmds/wreduce.cc +++ b/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 |