diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:45:26 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-01 11:45:26 +0200 |
| commit | d5148f2e013a7c0e4cced043d0a01a7fb0d3f069 (patch) | |
| tree | 15e5ef6cc802478c7157e374d005caf10bd71d23 /passes/sat/Makefile.inc | |
| parent | e07698818dfe3c8e5f87b13090c7e70d22189e2a (diff) | |
| download | yosys-d5148f2e013a7c0e4cced043d0a01a7fb0d3f069.tar.gz yosys-d5148f2e013a7c0e4cced043d0a01a7fb0d3f069.tar.bz2 yosys-d5148f2e013a7c0e4cced043d0a01a7fb0d3f069.zip | |
Moved "share" and "wreduce" to passes/opt/
Diffstat (limited to 'passes/sat/Makefile.inc')
| -rw-r--r-- | passes/sat/Makefile.inc | 1 |
1 files changed, 0 insertions, 1 deletions
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 |