riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2276 from YosysHQ/mwk/satgen-cc 

satgen: Move importCell out of the header.
This commit is contained in:
clairexen 2020-07-20 15:23:14 +02:00 committed by GitHub
parent eed05953f8 85a1bb17ed
commit be6638e55b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 1190 additions and 1166 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -600,7 +600,7 @@ $(eval $(call add_include_file,backends/cxxrtl/cxxrtl_vcd_capi.cc))
$(eval $(call add_include_file,backends/cxxrtl/cxxrtl_vcd_capi.h))
OBJS += kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o kernel/yosys.o
OBJS += kernel/cellaigs.o kernel/celledges.o
OBJS += kernel/cellaigs.o kernel/celledges.o kernel/satgen.o
kernel/log.o: CXXFLAGS += -DYOSYS_SRC='"$(YOSYS_SRC)"'
kernel/yosys.o: CXXFLAGS += -DYOSYS_DATDIR='"$(DATDIR)"' -DYOSYS_PROGRAM_PREFIX='"$(PROGRAM_PREFIX)"'

1188
kernel/satgen.cc Normal file
View File

File diff suppressed because it is too large Load Diff

1166
kernel/satgen.h
View File

File diff suppressed because it is too large Load Diff