diff options
| author | whitequark <whitequark@whitequark.org> | 2019-09-30 17:38:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-30 17:38:20 +0000 |
| commit | 5c5881695dd6570b933eccfd323f8b0e60b62718 (patch) | |
| tree | c41e1eeee78edc45ab650c622a7b78a228a39728 /Makefile | |
| parent | ed47bd78e1896280955835a2acf28f08f11aac24 (diff) | |
| parent | 99a7f39084cf4b9cd21e2a1e4f4a842993dfd147 (diff) | |
| download | yosys-5c5881695dd6570b933eccfd323f8b0e60b62718.tar.gz yosys-5c5881695dd6570b933eccfd323f8b0e60b62718.tar.bz2 yosys-5c5881695dd6570b933eccfd323f8b0e60b62718.zip | |
Merge pull request #1406 from whitequark/connect_rpc
rpc: new frontend
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -528,6 +528,7 @@ $(eval $(call add_include_file,kernel/satgen.h)) $(eval $(call add_include_file,libs/ezsat/ezsat.h)) $(eval $(call add_include_file,libs/ezsat/ezminisat.h)) $(eval $(call add_include_file,libs/sha1/sha1.h)) +$(eval $(call add_include_file,libs/json11/json11.hpp)) $(eval $(call add_include_file,passes/fsm/fsmdata.h)) $(eval $(call add_include_file,frontends/ast/ast.h)) $(eval $(call add_include_file,backends/ilang/ilang_backend.h)) @@ -545,6 +546,8 @@ OBJS += libs/sha1/sha1.o ifneq ($(SMALL),1) +OBJS += libs/json11/json11.o + OBJS += libs/subcircuit/subcircuit.o OBJS += libs/ezsat/ezsat.o @@ -710,6 +713,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/aiger && bash run-test.sh $(ABCOPT) +cd tests/arch && bash run-test.sh +cd tests/ice40 && bash run-test.sh $(SEEDOPT) + +cd tests/rpc && bash run-test.sh @echo "" @echo " Passed \"make test\"." @echo "" |