diff options
| author | whitequark <whitequark@whitequark.org> | 2018-12-05 00:23:22 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2018-12-05 16:30:37 +0000 |
| commit | 9e072ec21f9985126e1cfeb04fa7f2bc963790b3 (patch) | |
| tree | 3c5ce9b8c789c460deea4759d69b065726714430 /Makefile | |
| parent | 1719aa88acf9f6d52caa81384bc50237605157e3 (diff) | |
| download | yosys-9e072ec21f9985126e1cfeb04fa7f2bc963790b3.tar.gz yosys-9e072ec21f9985126e1cfeb04fa7f2bc963790b3.tar.bz2 yosys-9e072ec21f9985126e1cfeb04fa7f2bc963790b3.zip | |
opt_lut: new pass, to combine LUTs for tighter packing.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -160,7 +160,7 @@ ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H" else ifeq ($(CONFIG),gcc-static) LD = $(CXX) LDFLAGS := $(filter-out -rdynamic,$(LDFLAGS)) -static -LDLIBS := $(filter-out -lrt,$(LDLIBS)) +LDLIBS := $(filter-out -lrt,$(LDLIBS)) CXXFLAGS := $(filter-out -fPIC,$(CXXFLAGS)) CXXFLAGS += -std=c++11 -Os ABCMKARGS = CC="$(CC)" CXX="$(CXX)" LD="$(LD)" ABC_USE_LIBSTDCXX=1 LIBS="-lm -lpthread -static" OPTFLAGS="-O" \ @@ -578,6 +578,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/various && bash run-test.sh +cd tests/sat && bash run-test.sh +cd tests/svinterfaces && bash run-test.sh $(SEEDOPT) + +cd tests/opt && bash run-test.sh @echo "" @echo " Passed \"make test\"." @echo "" |