mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 17:44:09 +00:00
d8687e87b1
This adjusts the way the headers kernel/{yosys,rtlil,register,log}.h
include each other to avoid the need of including headers outside of
include guards as well as avoiding the inclusion of rtlil.h in the
middle of yosys.h with rtlil.h depending on the prefix of yosys.h, and
the suffix of yosys.h depending on rtlil.h.
To do this I moved some of the declaration in yosys.h into a new header
yosys_common.h. I'm not sure if that is strictly necessary.
Including any of these files still results in the declarations of all
these headers being included, so this shouldn't be a breaking change for
any passes or external plugins.
My main motivation for this is that ccls's (clang based language server)
include guard handling gets confused by the previous way the includes
were done. It often ends up treating the include guard as a generic
disabled preprocessor conditional, breaking navigation and highlighting
for the core RTLIL data structures.
Additionally I think avoiding cyclic includes in the middle of header
files that depend on includes being outside of include guards will also
be less confusing for developers reading the code, not only for tools
like ccls.
1148 lines
38 KiB
Makefile
1148 lines
38 KiB
Makefile
|
|
CONFIG := none
|
|
# CONFIG := clang
|
|
# CONFIG := gcc
|
|
# CONFIG := afl-gcc
|
|
# CONFIG := emcc
|
|
# CONFIG := wasi
|
|
# CONFIG := mxe
|
|
# CONFIG := msys2-32
|
|
# CONFIG := msys2-64
|
|
|
|
# features (the more the better)
|
|
ENABLE_TCL := 1
|
|
ENABLE_ABC := 1
|
|
ENABLE_GLOB := 1
|
|
ENABLE_PLUGINS := 1
|
|
ENABLE_READLINE := 1
|
|
ENABLE_EDITLINE := 0
|
|
ENABLE_GHDL := 0
|
|
ENABLE_VERIFIC := 0
|
|
ENABLE_VERIFIC_EDIF := 0
|
|
ENABLE_VERIFIC_LIBERTY := 0
|
|
DISABLE_VERIFIC_EXTENSIONS := 0
|
|
DISABLE_VERIFIC_VHDL := 0
|
|
ENABLE_COVER := 1
|
|
ENABLE_LIBYOSYS := 0
|
|
ENABLE_ZLIB := 1
|
|
|
|
# python wrappers
|
|
ENABLE_PYOSYS := 0
|
|
|
|
# other configuration flags
|
|
ENABLE_GCOV := 0
|
|
ENABLE_GPROF := 0
|
|
ENABLE_DEBUG := 0
|
|
ENABLE_NDEBUG := 0
|
|
ENABLE_CCACHE := 0
|
|
# sccache is not always a drop-in replacement for ccache in practice
|
|
ENABLE_SCCACHE := 0
|
|
LINK_CURSES := 0
|
|
LINK_TERMCAP := 0
|
|
LINK_ABC := 0
|
|
# Needed for environments that can't run executables (i.e. emscripten, wasm)
|
|
DISABLE_SPAWN := 0
|
|
# Needed for environments that don't have proper thread support (i.e. emscripten, wasm--for now)
|
|
DISABLE_ABC_THREADS := 0
|
|
|
|
# clang sanitizers
|
|
SANITIZER =
|
|
# SANITIZER = address
|
|
# SANITIZER = memory
|
|
# SANITIZER = undefined
|
|
# SANITIZER = cfi
|
|
|
|
PROGRAM_PREFIX :=
|
|
|
|
OS := $(shell uname -s)
|
|
PREFIX ?= /usr/local
|
|
INSTALL_SUDO :=
|
|
ifneq ($(filter MINGW%,$(OS)),)
|
|
OS := MINGW
|
|
endif
|
|
|
|
ifneq ($(wildcard Makefile.conf),)
|
|
include Makefile.conf
|
|
endif
|
|
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
ENABLE_LIBYOSYS := 1
|
|
endif
|
|
|
|
BINDIR := $(PREFIX)/bin
|
|
LIBDIR := $(PREFIX)/lib/$(PROGRAM_PREFIX)yosys
|
|
DATDIR := $(PREFIX)/share/$(PROGRAM_PREFIX)yosys
|
|
|
|
EXE =
|
|
OBJS =
|
|
GENFILES =
|
|
EXTRA_OBJS =
|
|
EXTRA_TARGETS =
|
|
TARGETS = $(PROGRAM_PREFIX)yosys$(EXE) $(PROGRAM_PREFIX)yosys-config
|
|
|
|
PRETTY = 1
|
|
SMALL = 0
|
|
|
|
# Unit test
|
|
UNITESTPATH := tests/unit
|
|
|
|
all: top-all
|
|
|
|
YOSYS_SRC := $(dir $(firstword $(MAKEFILE_LIST)))
|
|
VPATH := $(YOSYS_SRC)
|
|
|
|
CXXSTD ?= c++11
|
|
CXXFLAGS := $(CXXFLAGS) -Wall -Wextra -ggdb -I. -I"$(YOSYS_SRC)" -MD -MP -D_YOSYS_ -fPIC -I$(PREFIX)/include
|
|
LIBS := $(LIBS) -lstdc++ -lm
|
|
PLUGIN_LINKFLAGS :=
|
|
PLUGIN_LIBS :=
|
|
EXE_LINKFLAGS :=
|
|
ifeq ($(OS), MINGW)
|
|
EXE_LINKFLAGS := -Wl,--export-all-symbols -Wl,--out-implib,libyosys_exe.a
|
|
PLUGIN_LINKFLAGS += -L"$(LIBDIR)"
|
|
PLUGIN_LIBS := -lyosys_exe
|
|
endif
|
|
|
|
PKG_CONFIG ?= pkg-config
|
|
SED ?= sed
|
|
BISON ?= bison
|
|
STRIP ?= strip
|
|
AWK ?= awk
|
|
|
|
ifeq ($(OS), Darwin)
|
|
PLUGIN_LINKFLAGS += -undefined dynamic_lookup
|
|
|
|
# homebrew search paths
|
|
ifneq ($(shell :; command -v brew),)
|
|
BREW_PREFIX := $(shell brew --prefix)/opt
|
|
$(info $$BREW_PREFIX is [${BREW_PREFIX}])
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
CXXFLAGS += -I$(BREW_PREFIX)/boost/include/boost
|
|
LINKFLAGS += -L$(BREW_PREFIX)/boost/lib
|
|
endif
|
|
CXXFLAGS += -I$(BREW_PREFIX)/readline/include
|
|
LINKFLAGS += -L$(BREW_PREFIX)/readline/lib
|
|
PKG_CONFIG_PATH := $(BREW_PREFIX)/libffi/lib/pkgconfig:$(PKG_CONFIG_PATH)
|
|
PKG_CONFIG_PATH := $(BREW_PREFIX)/tcl-tk/lib/pkgconfig:$(PKG_CONFIG_PATH)
|
|
export PATH := $(BREW_PREFIX)/bison/bin:$(BREW_PREFIX)/gettext/bin:$(BREW_PREFIX)/flex/bin:$(PATH)
|
|
|
|
# macports search paths
|
|
else ifneq ($(shell :; command -v port),)
|
|
PORT_PREFIX := $(patsubst %/bin/port,%,$(shell :; command -v port))
|
|
CXXFLAGS += -I$(PORT_PREFIX)/include
|
|
LINKFLAGS += -L$(PORT_PREFIX)/lib
|
|
PKG_CONFIG_PATH := $(PORT_PREFIX)/lib/pkgconfig:$(PKG_CONFIG_PATH)
|
|
export PATH := $(PORT_PREFIX)/bin:$(PATH)
|
|
endif
|
|
|
|
else
|
|
LINKFLAGS += -rdynamic
|
|
ifneq ($(OS), OpenBSD)
|
|
LIBS += -lrt
|
|
endif
|
|
endif
|
|
|
|
YOSYS_VER := 0.39+149
|
|
|
|
# Note: We arrange for .gitcommit to contain the (short) commit hash in
|
|
# tarballs generated with git-archive(1) using .gitattributes. The git repo
|
|
# will have this file in its unexpanded form tough, in which case we fall
|
|
# back to calling git directly.
|
|
TARBALL_GIT_REV := $(shell cat $(YOSYS_SRC)/.gitcommit)
|
|
ifeq ($(TARBALL_GIT_REV),$$Format:%h$$)
|
|
GIT_REV := $(shell GIT_DIR=$(YOSYS_SRC)/.git git rev-parse --short=9 HEAD || echo UNKNOWN)
|
|
else
|
|
GIT_REV := $(TARBALL_GIT_REV)
|
|
endif
|
|
|
|
OBJS = kernel/version_$(GIT_REV).o
|
|
|
|
bumpversion:
|
|
sed -i "/^YOSYS_VER := / s/+[0-9][0-9]*$$/+`git log --oneline 0033808.. | wc -l`/;" Makefile
|
|
|
|
# set 'ABCREV = default' to use abc/ as it is
|
|
#
|
|
# Note: If you do ABC development, make sure that 'abc' in this directory
|
|
# is just a symlink to your actual ABC working directory, as 'make mrproper'
|
|
# will remove the 'abc' directory and you do not want to accidentally
|
|
# delete your work on ABC..
|
|
ABCREV = 0cd90d0
|
|
ABCPULL = 1
|
|
ABCURL ?= https://github.com/YosysHQ/abc
|
|
ABCMKARGS = CC="$(CXX)" CXX="$(CXX)" ABC_USE_LIBSTDCXX=1 ABC_USE_NAMESPACE=abc VERBOSE=$(Q)
|
|
|
|
# set ABCEXTERNAL = <abc-command> to use an external ABC instance
|
|
# Note: The in-tree ABC (yosys-abc) will not be installed when ABCEXTERNAL is set.
|
|
ABCEXTERNAL ?=
|
|
|
|
define newline
|
|
|
|
|
|
endef
|
|
|
|
ifneq ($(wildcard Makefile.conf),)
|
|
# don't echo Makefile.conf contents when invoked to print source versions
|
|
ifeq ($(findstring echo-,$(MAKECMDGOALS)),)
|
|
$(info $(subst $$--$$,$(newline),$(shell sed 's,^,[Makefile.conf] ,; s,$$,$$--$$,;' < Makefile.conf | tr -d '\n' | sed 's,\$$--\$$$$,,')))
|
|
endif
|
|
include Makefile.conf
|
|
endif
|
|
|
|
PYTHON_EXECUTABLE := $(shell if python3 -c ""; then echo "python3"; else echo "python"; fi)
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
PYTHON_VERSION_TESTCODE := "import sys;t='{v[0]}.{v[1]}'.format(v=list(sys.version_info[:2]));print(t)"
|
|
PYTHON_VERSION := $(shell $(PYTHON_EXECUTABLE) -c ""$(PYTHON_VERSION_TESTCODE)"")
|
|
PYTHON_MAJOR_VERSION := $(shell echo $(PYTHON_VERSION) | cut -f1 -d.)
|
|
|
|
ENABLE_PYTHON_CONFIG_EMBED ?= $(shell $(PYTHON_EXECUTABLE)-config --embed --libs > /dev/null && echo 1)
|
|
ifeq ($(ENABLE_PYTHON_CONFIG_EMBED),1)
|
|
PYTHON_CONFIG := $(PYTHON_EXECUTABLE)-config --embed
|
|
else
|
|
PYTHON_CONFIG := $(PYTHON_EXECUTABLE)-config
|
|
endif
|
|
|
|
PYTHON_DESTDIR := $(shell $(PYTHON_EXECUTABLE) -c "import site; print(site.getsitepackages()[-1]);")
|
|
|
|
# Reload Makefile.conf to override python specific variables if defined
|
|
ifneq ($(wildcard Makefile.conf),)
|
|
include Makefile.conf
|
|
endif
|
|
|
|
endif
|
|
|
|
ABC_ARCHFLAGS = ""
|
|
ifeq ($(OS), OpenBSD)
|
|
ABC_ARCHFLAGS += "-DABC_NO_RLIMIT"
|
|
endif
|
|
|
|
ifeq ($(CONFIG),clang)
|
|
CXX = clang++
|
|
CXXFLAGS += -std=$(CXXSTD) -Os
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H $(ABC_ARCHFLAGS)"
|
|
|
|
ifneq ($(SANITIZER),)
|
|
$(info [Clang Sanitizer] $(SANITIZER))
|
|
CXXFLAGS += -g -O1 -fno-omit-frame-pointer -fno-optimize-sibling-calls -fsanitize=$(SANITIZER)
|
|
LINKFLAGS += -g -fsanitize=$(SANITIZER)
|
|
ifneq ($(findstring address,$(SANITIZER)),)
|
|
ENABLE_COVER := 0
|
|
endif
|
|
ifneq ($(findstring memory,$(SANITIZER)),)
|
|
CXXFLAGS += -fPIE -fsanitize-memory-track-origins
|
|
LINKFLAGS += -fPIE -fsanitize-memory-track-origins
|
|
endif
|
|
ifneq ($(findstring cfi,$(SANITIZER)),)
|
|
CXXFLAGS += -flto
|
|
LINKFLAGS += -flto
|
|
endif
|
|
endif
|
|
|
|
else ifeq ($(CONFIG),gcc)
|
|
CXX = g++
|
|
CXXFLAGS += -std=$(CXXSTD) -Os
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H $(ABC_ARCHFLAGS)"
|
|
|
|
else ifeq ($(CONFIG),gcc-static)
|
|
LINKFLAGS := $(filter-out -rdynamic,$(LINKFLAGS)) -static
|
|
LIBS := $(filter-out -lrt,$(LIBS))
|
|
CXXFLAGS := $(filter-out -fPIC,$(CXXFLAGS))
|
|
CXXFLAGS += -std=$(CXXSTD) -Os
|
|
ABCMKARGS = CC="$(CC)" CXX="$(CXX)" LD="$(CXX)" ABC_USE_LIBSTDCXX=1 LIBS="-lm -lpthread -static" OPTFLAGS="-O" \
|
|
ARCHFLAGS="-DABC_USE_STDINT_H -DABC_NO_DYNAMIC_LINKING=1 -Wno-unused-but-set-variable $(ARCHFLAGS)" ABC_USE_NO_READLINE=1
|
|
ifeq ($(DISABLE_ABC_THREADS),1)
|
|
ABCMKARGS += "ABC_USE_NO_PTHREADS=1"
|
|
endif
|
|
|
|
else ifeq ($(CONFIG),afl-gcc)
|
|
CXX = AFL_QUIET=1 AFL_HARDEN=1 afl-gcc
|
|
CXXFLAGS += -std=$(CXXSTD) -Os
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
|
|
|
|
else ifeq ($(CONFIG),cygwin)
|
|
CXX = g++
|
|
CXXFLAGS += -std=gnu++11 -Os
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H"
|
|
|
|
else ifeq ($(CONFIG),emcc)
|
|
CXX = emcc
|
|
CXXFLAGS := -std=$(CXXSTD) $(filter-out -fPIC -ggdb,$(CXXFLAGS))
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H -DABC_MEMALIGN=8"
|
|
EMCC_CXXFLAGS := -Os -Wno-warn-absolute-paths
|
|
EMCC_LINKFLAGS := --embed-file share
|
|
EMCC_LINKFLAGS += -s NO_EXIT_RUNTIME=1
|
|
EMCC_LINKFLAGS += -s EXPORTED_FUNCTIONS="['_main','_run','_prompt','_errmsg','_memset']"
|
|
EMCC_LINKFLAGS += -s TOTAL_MEMORY=134217728
|
|
EMCC_LINKFLAGS += -s EXPORTED_RUNTIME_METHODS='["ccall", "cwrap"]'
|
|
# https://github.com/kripken/emscripten/blob/master/src/settings.js
|
|
CXXFLAGS += $(EMCC_CXXFLAGS)
|
|
LINKFLAGS += $(EMCC_LINKFLAGS)
|
|
LIBS =
|
|
EXE = .js
|
|
|
|
DISABLE_SPAWN := 1
|
|
|
|
TARGETS := $(filter-out $(PROGRAM_PREFIX)yosys-config,$(TARGETS))
|
|
EXTRA_TARGETS += yosysjs-$(YOSYS_VER).zip
|
|
|
|
ifeq ($(ENABLE_ABC),1)
|
|
LINK_ABC := 1
|
|
DISABLE_ABC_THREADS := 1
|
|
endif
|
|
|
|
viz.js:
|
|
wget -O viz.js.part https://github.com/mdaines/viz.js/releases/download/0.0.3/viz.js
|
|
mv viz.js.part viz.js
|
|
|
|
yosysjs-$(YOSYS_VER).zip: yosys.js viz.js misc/yosysjs/*
|
|
rm -rf yosysjs-$(YOSYS_VER) yosysjs-$(YOSYS_VER).zip
|
|
mkdir -p yosysjs-$(YOSYS_VER)
|
|
cp viz.js misc/yosysjs/* yosys.js yosys.wasm yosysjs-$(YOSYS_VER)/
|
|
zip -r yosysjs-$(YOSYS_VER).zip yosysjs-$(YOSYS_VER)
|
|
|
|
yosys.html: misc/yosys.html
|
|
$(P) cp misc/yosys.html yosys.html
|
|
|
|
else ifeq ($(CONFIG),wasi)
|
|
ifeq ($(WASI_SDK),)
|
|
CXX = clang++
|
|
AR = llvm-ar
|
|
RANLIB = llvm-ranlib
|
|
WASIFLAGS := -target wasm32-wasi --sysroot $(WASI_SYSROOT) $(WASIFLAGS)
|
|
else
|
|
CXX = $(WASI_SDK)/bin/clang++
|
|
AR = $(WASI_SDK)/bin/ar
|
|
RANLIB = $(WASI_SDK)/bin/ranlib
|
|
WASIFLAGS := --sysroot $(WASI_SDK)/share/wasi-sysroot $(WASIFLAGS)
|
|
endif
|
|
CXXFLAGS := $(WASIFLAGS) -std=$(CXXSTD) -Os -D_WASI_EMULATED_PROCESS_CLOCKS $(filter-out -fPIC,$(CXXFLAGS))
|
|
LINKFLAGS := $(WASIFLAGS) -Wl,-z,stack-size=1048576 $(filter-out -rdynamic,$(LINKFLAGS))
|
|
LIBS := -lwasi-emulated-process-clocks $(filter-out -lrt,$(LIBS))
|
|
ABCMKARGS += AR="$(AR)" RANLIB="$(RANLIB)"
|
|
ABCMKARGS += ARCHFLAGS="$(WASIFLAGS) -D_WASI_EMULATED_PROCESS_CLOCKS -DABC_USE_STDINT_H -DABC_NO_DYNAMIC_LINKING -DABC_NO_RLIMIT"
|
|
ABCMKARGS += OPTFLAGS="-Os"
|
|
EXE = .wasm
|
|
|
|
DISABLE_SPAWN := 1
|
|
|
|
ifeq ($(ENABLE_ABC),1)
|
|
LINK_ABC := 1
|
|
DISABLE_ABC_THREADS := 1
|
|
endif
|
|
|
|
else ifeq ($(CONFIG),mxe)
|
|
PKG_CONFIG = /usr/local/src/mxe/usr/bin/i686-w64-mingw32.static-pkg-config
|
|
CXX = /usr/local/src/mxe/usr/bin/i686-w64-mingw32.static-g++
|
|
CXXFLAGS += -std=$(CXXSTD) -Os -D_POSIX_SOURCE -DYOSYS_MXE_HACKS -Wno-attributes
|
|
CXXFLAGS := $(filter-out -fPIC,$(CXXFLAGS))
|
|
LINKFLAGS := $(filter-out -rdynamic,$(LINKFLAGS)) -s
|
|
LIBS := $(filter-out -lrt,$(LIBS))
|
|
ABCMKARGS += ARCHFLAGS="-DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC -fpermissive -w"
|
|
# TODO: Try to solve pthread linking issue in more appropriate way
|
|
ABCMKARGS += LIBS="lib/x86/pthreadVC2.lib -s" LINKFLAGS="-Wl,--allow-multiple-definition" ABC_USE_NO_READLINE=1 CC="/usr/local/src/mxe/usr/bin/i686-w64-mingw32.static-gcc"
|
|
EXE = .exe
|
|
|
|
else ifeq ($(CONFIG),msys2-32)
|
|
CXX = i686-w64-mingw32-g++
|
|
CXXFLAGS += -std=$(CXXSTD) -Os -D_POSIX_SOURCE -DYOSYS_WIN32_UNIX_DIR
|
|
CXXFLAGS := $(filter-out -fPIC,$(CXXFLAGS))
|
|
LINKFLAGS := $(filter-out -rdynamic,$(LINKFLAGS)) -s
|
|
LIBS := $(filter-out -lrt,$(LIBS))
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H -DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC -fpermissive -w"
|
|
ABCMKARGS += LIBS="-lpthread -lshlwapi -s" ABC_USE_NO_READLINE=0 CC="i686-w64-mingw32-gcc" CXX="$(CXX)"
|
|
EXE = .exe
|
|
|
|
else ifeq ($(CONFIG),msys2-64)
|
|
CXX = x86_64-w64-mingw32-g++
|
|
CXXFLAGS += -std=$(CXXSTD) -Os -D_POSIX_SOURCE -DYOSYS_WIN32_UNIX_DIR
|
|
CXXFLAGS := $(filter-out -fPIC,$(CXXFLAGS))
|
|
LINKFLAGS := $(filter-out -rdynamic,$(LINKFLAGS)) -s
|
|
LIBS := $(filter-out -lrt,$(LIBS))
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H -DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC -fpermissive -w"
|
|
ABCMKARGS += LIBS="-lpthread -lshlwapi -s" ABC_USE_NO_READLINE=0 CC="x86_64-w64-mingw32-gcc" CXX="$(CXX)"
|
|
EXE = .exe
|
|
|
|
else ifeq ($(CONFIG),none)
|
|
CXXFLAGS += -std=$(CXXSTD) -Os
|
|
ABCMKARGS += ARCHFLAGS="-DABC_USE_STDINT_H $(ABC_ARCHFLAGS)"
|
|
|
|
else
|
|
$(error Invalid CONFIG setting '$(CONFIG)'. Valid values: clang, gcc, emcc, mxe, msys2-32, msys2-64, none)
|
|
endif
|
|
|
|
ifeq ($(ENABLE_LIBYOSYS),1)
|
|
TARGETS += libyosys.so
|
|
endif
|
|
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
# Detect name of boost_python library. Some distros use boost_python-py<version>, other boost_python<version>, some only use the major version number, some a concatenation of major and minor version numbers
|
|
CHECK_BOOST_PYTHON = (echo "int main(int argc, char ** argv) {return 0;}" | $(CXX) -xc -o /dev/null $(shell $(PYTHON_CONFIG) --ldflags) -l$(1) - > /dev/null 2>&1 && echo "-l$(1)")
|
|
BOOST_PYTHON_LIB ?= $(shell \
|
|
$(call CHECK_BOOST_PYTHON,boost_python-py$(subst .,,$(PYTHON_VERSION))) || \
|
|
$(call CHECK_BOOST_PYTHON,boost_python-py$(PYTHON_MAJOR_VERSION)) || \
|
|
$(call CHECK_BOOST_PYTHON,boost_python$(subst .,,$(PYTHON_VERSION))) || \
|
|
$(call CHECK_BOOST_PYTHON,boost_python$(PYTHON_MAJOR_VERSION)) \
|
|
)
|
|
|
|
ifeq ($(BOOST_PYTHON_LIB),)
|
|
$(error BOOST_PYTHON_LIB could not be detected. Please define manually)
|
|
endif
|
|
|
|
LIBS += $(shell $(PYTHON_CONFIG) --libs) $(BOOST_PYTHON_LIB) -lboost_system -lboost_filesystem
|
|
# python-config --ldflags includes LIBS for some reason
|
|
LINKFLAGS += $(filter-out -l%,$(shell $(PYTHON_CONFIG) --ldflags))
|
|
CXXFLAGS += $(shell $(PYTHON_CONFIG) --includes) -DWITH_PYTHON
|
|
|
|
PY_WRAPPER_FILE = kernel/python_wrappers
|
|
OBJS += $(PY_WRAPPER_FILE).o
|
|
PY_GEN_SCRIPT= py_wrap_generator
|
|
PY_WRAP_INCLUDES := $(shell python$(PYTHON_VERSION) -c "from misc import $(PY_GEN_SCRIPT); $(PY_GEN_SCRIPT).print_includes()")
|
|
endif # ENABLE_PYOSYS
|
|
|
|
ifeq ($(ENABLE_READLINE),1)
|
|
CXXFLAGS += -DYOSYS_ENABLE_READLINE
|
|
ifeq ($(OS), $(filter $(OS),FreeBSD OpenBSD NetBSD))
|
|
CXXFLAGS += -I/usr/local/include
|
|
endif
|
|
LIBS += -lreadline
|
|
ifeq ($(LINK_CURSES),1)
|
|
LIBS += -lcurses
|
|
ABCMKARGS += "ABC_READLINE_LIBRARIES=-lcurses -lreadline"
|
|
endif
|
|
ifeq ($(LINK_TERMCAP),1)
|
|
LIBS += -ltermcap
|
|
ABCMKARGS += "ABC_READLINE_LIBRARIES=-lreadline -ltermcap"
|
|
endif
|
|
ifeq ($(CONFIG),mxe)
|
|
LIBS += -ltermcap
|
|
endif
|
|
else
|
|
ifeq ($(ENABLE_EDITLINE),1)
|
|
CXXFLAGS += -DYOSYS_ENABLE_EDITLINE
|
|
LIBS += -ledit -ltinfo -lbsd
|
|
else
|
|
ABCMKARGS += "ABC_USE_NO_READLINE=1"
|
|
endif
|
|
endif
|
|
|
|
ifeq ($(DISABLE_ABC_THREADS),1)
|
|
ABCMKARGS += "ABC_USE_NO_PTHREADS=1"
|
|
endif
|
|
|
|
ifeq ($(DISABLE_SPAWN),1)
|
|
CXXFLAGS += -DYOSYS_DISABLE_SPAWN
|
|
endif
|
|
|
|
ifeq ($(ENABLE_PLUGINS),1)
|
|
CXXFLAGS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH) $(PKG_CONFIG) --silence-errors --cflags libffi) -DYOSYS_ENABLE_PLUGINS
|
|
ifeq ($(OS), MINGW)
|
|
CXXFLAGS += -Ilibs/dlfcn-win32
|
|
endif
|
|
LIBS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH) $(PKG_CONFIG) --silence-errors --libs libffi || echo -lffi)
|
|
ifneq ($(OS), $(filter $(OS),FreeBSD OpenBSD NetBSD MINGW))
|
|
LIBS += -ldl
|
|
endif
|
|
endif
|
|
|
|
ifeq ($(ENABLE_GLOB),1)
|
|
CXXFLAGS += -DYOSYS_ENABLE_GLOB
|
|
endif
|
|
|
|
ifeq ($(ENABLE_ZLIB),1)
|
|
CXXFLAGS += -DYOSYS_ENABLE_ZLIB
|
|
LIBS += -lz
|
|
endif
|
|
|
|
|
|
ifeq ($(ENABLE_TCL),1)
|
|
TCL_VERSION ?= tcl$(shell bash -c "tclsh <(echo 'puts [info tclversion]')")
|
|
ifeq ($(OS), $(filter $(OS),FreeBSD OpenBSD NetBSD))
|
|
# BSDs usually use tcl8.6, but the lib is named "libtcl86"
|
|
TCL_INCLUDE ?= /usr/local/include/$(TCL_VERSION)
|
|
TCL_LIBS ?= -l$(subst .,,$(TCL_VERSION))
|
|
else
|
|
TCL_INCLUDE ?= /usr/include/$(TCL_VERSION)
|
|
TCL_LIBS ?= -l$(TCL_VERSION)
|
|
endif
|
|
|
|
ifeq ($(CONFIG),mxe)
|
|
CXXFLAGS += -DYOSYS_ENABLE_TCL
|
|
LIBS += -ltcl86 -lwsock32 -lws2_32 -lnetapi32 -lz -luserenv
|
|
else
|
|
CXXFLAGS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH) $(PKG_CONFIG) --silence-errors --cflags tcl || echo -I$(TCL_INCLUDE)) -DYOSYS_ENABLE_TCL
|
|
LIBS += $(shell PKG_CONFIG_PATH=$(PKG_CONFIG_PATH) $(PKG_CONFIG) --silence-errors --libs tcl || echo $(TCL_LIBS))
|
|
endif
|
|
endif
|
|
|
|
ifeq ($(ENABLE_GCOV),1)
|
|
CXXFLAGS += --coverage
|
|
LINKFLAGS += --coverage
|
|
endif
|
|
|
|
ifeq ($(ENABLE_GPROF),1)
|
|
CXXFLAGS += -pg
|
|
LINKFLAGS += -pg
|
|
endif
|
|
|
|
ifeq ($(ENABLE_NDEBUG),1)
|
|
CXXFLAGS := -O3 -DNDEBUG $(filter-out -Os -ggdb,$(CXXFLAGS))
|
|
endif
|
|
|
|
ifeq ($(ENABLE_DEBUG),1)
|
|
ifeq ($(CONFIG),clang)
|
|
CXXFLAGS := -O0 -DDEBUG $(filter-out -Os,$(CXXFLAGS))
|
|
else
|
|
CXXFLAGS := -Og -DDEBUG $(filter-out -Os,$(CXXFLAGS))
|
|
endif
|
|
endif
|
|
|
|
ifeq ($(ENABLE_ABC),1)
|
|
CXXFLAGS += -DYOSYS_ENABLE_ABC
|
|
ifeq ($(LINK_ABC),1)
|
|
CXXFLAGS += -DYOSYS_LINK_ABC
|
|
ifeq ($(DISABLE_ABC_THREADS),0)
|
|
LIBS += -lpthread
|
|
endif
|
|
else
|
|
ifeq ($(ABCEXTERNAL),)
|
|
TARGETS += $(PROGRAM_PREFIX)yosys-abc$(EXE)
|
|
endif
|
|
endif
|
|
endif
|
|
|
|
ifeq ($(ENABLE_GHDL),1)
|
|
GHDL_PREFIX ?= $(PREFIX)
|
|
GHDL_INCLUDE_DIR ?= $(GHDL_PREFIX)/include
|
|
GHDL_LIB_DIR ?= $(GHDL_PREFIX)/lib
|
|
CXXFLAGS += -I$(GHDL_INCLUDE_DIR) -DYOSYS_ENABLE_GHDL
|
|
LIBS += $(GHDL_LIB_DIR)/libghdl.a $(file <$(GHDL_LIB_DIR)/libghdl.link)
|
|
endif
|
|
|
|
LIBS_VERIFIC =
|
|
ifeq ($(ENABLE_VERIFIC),1)
|
|
VERIFIC_DIR ?= /usr/local/src/verific_lib
|
|
VERIFIC_COMPONENTS ?= verilog database util containers hier_tree
|
|
ifneq ($(DISABLE_VERIFIC_VHDL),1)
|
|
VERIFIC_COMPONENTS += vhdl
|
|
CXXFLAGS += -DVERIFIC_VHDL_SUPPORT
|
|
else
|
|
ifneq ($(wildcard $(VERIFIC_DIR)/vhdl),)
|
|
VERIFIC_COMPONENTS += vhdl
|
|
endif
|
|
endif
|
|
ifeq ($(ENABLE_VERIFIC_EDIF),1)
|
|
VERIFIC_COMPONENTS += edif
|
|
CXXFLAGS += -DVERIFIC_EDIF_SUPPORT
|
|
endif
|
|
ifeq ($(ENABLE_VERIFIC_LIBERTY),1)
|
|
VERIFIC_COMPONENTS += synlib
|
|
CXXFLAGS += -DVERIFIC_LIBERTY_SUPPORT
|
|
endif
|
|
ifneq ($(DISABLE_VERIFIC_EXTENSIONS),1)
|
|
VERIFIC_COMPONENTS += extensions
|
|
CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS
|
|
endif
|
|
CXXFLAGS += $(patsubst %,-I$(VERIFIC_DIR)/%,$(VERIFIC_COMPONENTS)) -DYOSYS_ENABLE_VERIFIC
|
|
ifeq ($(OS), Darwin)
|
|
LIBS_VERIFIC += $(foreach comp,$(patsubst %,$(VERIFIC_DIR)/%/*-mac.a,$(VERIFIC_COMPONENTS)),-Wl,-force_load $(comp)) -lz
|
|
else
|
|
LIBS_VERIFIC += -Wl,--whole-archive $(patsubst %,$(VERIFIC_DIR)/%/*-linux.a,$(VERIFIC_COMPONENTS)) -Wl,--no-whole-archive -lz
|
|
endif
|
|
endif
|
|
|
|
|
|
ifeq ($(ENABLE_COVER),1)
|
|
CXXFLAGS += -DYOSYS_ENABLE_COVER
|
|
endif
|
|
|
|
ifeq ($(ENABLE_CCACHE),1)
|
|
CXX := ccache $(CXX)
|
|
else
|
|
ifeq ($(ENABLE_SCCACHE),1)
|
|
CXX := sccache $(CXX)
|
|
endif
|
|
endif
|
|
|
|
define add_share_file
|
|
EXTRA_TARGETS += $(subst //,/,$(1)/$(notdir $(2)))
|
|
$(subst //,/,$(1)/$(notdir $(2))): $(2)
|
|
$$(P) mkdir -p $(1)
|
|
$$(Q) cp "$(YOSYS_SRC)"/$(2) $(subst //,/,$(1)/$(notdir $(2)))
|
|
endef
|
|
|
|
define add_gen_share_file
|
|
EXTRA_TARGETS += $(subst //,/,$(1)/$(notdir $(2)))
|
|
$(subst //,/,$(1)/$(notdir $(2))): $(2)
|
|
$$(P) mkdir -p $(1)
|
|
$$(Q) cp $(2) $(subst //,/,$(1)/$(notdir $(2)))
|
|
endef
|
|
|
|
define add_include_file
|
|
$(eval $(call add_share_file,$(dir share/include/$(1)),$(1)))
|
|
endef
|
|
|
|
define add_extra_objs
|
|
EXTRA_OBJS += $(1)
|
|
.SECONDARY: $(1)
|
|
endef
|
|
|
|
ifeq ($(PRETTY), 1)
|
|
P_STATUS = 0
|
|
P_OFFSET = 0
|
|
P_UPDATE = $(eval P_STATUS=$(shell echo $(OBJS) $(PROGRAM_PREFIX)yosys$(EXE) | $(AWK) 'BEGIN { RS = " "; I = $(P_STATUS)+0; } $$1 == "$@" && NR > I { I = NR; } END { print I; }'))
|
|
P_SHOW = [$(shell $(AWK) "BEGIN { N=$(words $(OBJS) $(PROGRAM_PREFIX)yosys$(EXE)); printf \"%3d\", $(P_OFFSET)+90*$(P_STATUS)/N; exit; }")%]
|
|
P = @echo "$(if $(findstring $@,$(TARGETS) $(EXTRA_TARGETS)),$(eval P_OFFSET = 10))$(call P_UPDATE)$(call P_SHOW) Building $@";
|
|
Q = @
|
|
S = -s
|
|
else
|
|
P_SHOW = ->
|
|
P =
|
|
Q =
|
|
S =
|
|
endif
|
|
|
|
$(eval $(call add_include_file,kernel/binding.h))
|
|
$(eval $(call add_include_file,kernel/cellaigs.h))
|
|
$(eval $(call add_include_file,kernel/celledges.h))
|
|
$(eval $(call add_include_file,kernel/celltypes.h))
|
|
$(eval $(call add_include_file,kernel/consteval.h))
|
|
$(eval $(call add_include_file,kernel/constids.inc))
|
|
$(eval $(call add_include_file,kernel/cost.h))
|
|
$(eval $(call add_include_file,kernel/ff.h))
|
|
$(eval $(call add_include_file,kernel/ffinit.h))
|
|
$(eval $(call add_include_file,kernel/ffmerge.h))
|
|
$(eval $(call add_include_file,kernel/fmt.h))
|
|
ifeq ($(ENABLE_ZLIB),1)
|
|
$(eval $(call add_include_file,kernel/fstdata.h))
|
|
endif
|
|
$(eval $(call add_include_file,kernel/hashlib.h))
|
|
$(eval $(call add_include_file,kernel/json.h))
|
|
$(eval $(call add_include_file,kernel/log.h))
|
|
$(eval $(call add_include_file,kernel/macc.h))
|
|
$(eval $(call add_include_file,kernel/modtools.h))
|
|
$(eval $(call add_include_file,kernel/mem.h))
|
|
$(eval $(call add_include_file,kernel/qcsat.h))
|
|
$(eval $(call add_include_file,kernel/register.h))
|
|
$(eval $(call add_include_file,kernel/rtlil.h))
|
|
$(eval $(call add_include_file,kernel/satgen.h))
|
|
$(eval $(call add_include_file,kernel/scopeinfo.h))
|
|
$(eval $(call add_include_file,kernel/sigtools.h))
|
|
$(eval $(call add_include_file,kernel/timinginfo.h))
|
|
$(eval $(call add_include_file,kernel/utils.h))
|
|
$(eval $(call add_include_file,kernel/yosys.h))
|
|
$(eval $(call add_include_file,kernel/yosys_common.h))
|
|
$(eval $(call add_include_file,kernel/yw.h))
|
|
$(eval $(call add_include_file,libs/ezsat/ezsat.h))
|
|
$(eval $(call add_include_file,libs/ezsat/ezminisat.h))
|
|
ifeq ($(ENABLE_ZLIB),1)
|
|
$(eval $(call add_include_file,libs/fst/fstapi.h))
|
|
endif
|
|
$(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,frontends/ast/ast_binding.h))
|
|
$(eval $(call add_include_file,frontends/blif/blifparse.h))
|
|
$(eval $(call add_include_file,backends/rtlil/rtlil_backend.h))
|
|
|
|
OBJS += kernel/driver.o kernel/register.o kernel/rtlil.o kernel/log.o kernel/calc.o kernel/yosys.o
|
|
OBJS += kernel/binding.o
|
|
OBJS += kernel/cellaigs.o kernel/celledges.o kernel/satgen.o kernel/scopeinfo.o kernel/qcsat.o kernel/mem.o kernel/ffmerge.o kernel/ff.o kernel/yw.o kernel/json.o kernel/fmt.o
|
|
ifeq ($(ENABLE_ZLIB),1)
|
|
OBJS += kernel/fstdata.o
|
|
endif
|
|
ifeq ($(ENABLE_PLUGINS),1)
|
|
ifeq ($(OS), MINGW)
|
|
OBJS += libs/dlfcn-win32/dlfcn.o
|
|
endif
|
|
endif
|
|
|
|
kernel/log.o: CXXFLAGS += -DYOSYS_SRC='"$(YOSYS_SRC)"'
|
|
kernel/yosys.o: CXXFLAGS += -DYOSYS_DATDIR='"$(DATDIR)"' -DYOSYS_PROGRAM_PREFIX='"$(PROGRAM_PREFIX)"'
|
|
ifeq ($(ENABLE_ABC),1)
|
|
ifneq ($(ABCEXTERNAL),)
|
|
kernel/yosys.o: CXXFLAGS += -DABCEXTERNAL='"$(ABCEXTERNAL)"'
|
|
endif
|
|
endif
|
|
|
|
OBJS += libs/bigint/BigIntegerAlgorithms.o libs/bigint/BigInteger.o libs/bigint/BigIntegerUtils.o
|
|
OBJS += libs/bigint/BigUnsigned.o libs/bigint/BigUnsignedInABase.o
|
|
|
|
OBJS += libs/sha1/sha1.o
|
|
|
|
OBJS += libs/json11/json11.o
|
|
|
|
OBJS += libs/ezsat/ezsat.o
|
|
OBJS += libs/ezsat/ezminisat.o
|
|
|
|
OBJS += libs/minisat/Options.o
|
|
OBJS += libs/minisat/SimpSolver.o
|
|
OBJS += libs/minisat/Solver.o
|
|
OBJS += libs/minisat/System.o
|
|
|
|
ifeq ($(ENABLE_ZLIB),1)
|
|
OBJS += libs/fst/fstapi.o
|
|
OBJS += libs/fst/fastlz.o
|
|
OBJS += libs/fst/lz4.o
|
|
endif
|
|
|
|
ifneq ($(SMALL),1)
|
|
|
|
OBJS += libs/subcircuit/subcircuit.o
|
|
|
|
include $(YOSYS_SRC)/frontends/*/Makefile.inc
|
|
include $(YOSYS_SRC)/passes/*/Makefile.inc
|
|
include $(YOSYS_SRC)/backends/*/Makefile.inc
|
|
include $(YOSYS_SRC)/techlibs/*/Makefile.inc
|
|
|
|
else
|
|
|
|
include $(YOSYS_SRC)/frontends/verilog/Makefile.inc
|
|
ifeq ($(ENABLE_VERIFIC),1)
|
|
include $(YOSYS_SRC)/frontends/verific/Makefile.inc
|
|
endif
|
|
include $(YOSYS_SRC)/frontends/rtlil/Makefile.inc
|
|
include $(YOSYS_SRC)/frontends/ast/Makefile.inc
|
|
include $(YOSYS_SRC)/frontends/blif/Makefile.inc
|
|
|
|
OBJS += passes/hierarchy/hierarchy.o
|
|
OBJS += passes/cmds/select.o
|
|
OBJS += passes/cmds/show.o
|
|
OBJS += passes/cmds/stat.o
|
|
OBJS += passes/cmds/cover.o
|
|
OBJS += passes/cmds/design.o
|
|
OBJS += passes/cmds/plugin.o
|
|
|
|
include $(YOSYS_SRC)/passes/proc/Makefile.inc
|
|
include $(YOSYS_SRC)/passes/opt/Makefile.inc
|
|
include $(YOSYS_SRC)/passes/techmap/Makefile.inc
|
|
|
|
include $(YOSYS_SRC)/backends/verilog/Makefile.inc
|
|
include $(YOSYS_SRC)/backends/rtlil/Makefile.inc
|
|
|
|
include $(YOSYS_SRC)/techlibs/common/Makefile.inc
|
|
|
|
endif
|
|
|
|
ifeq ($(LINK_ABC),1)
|
|
OBJS += $(PROGRAM_PREFIX)yosys-libabc.a
|
|
endif
|
|
|
|
# prevent the CXXFLAGS set by this Makefile from reaching abc/Makefile,
|
|
# especially the -MD flag which will break the build when CXX is clang
|
|
unexport CXXFLAGS
|
|
|
|
top-all: $(TARGETS) $(EXTRA_TARGETS)
|
|
@echo ""
|
|
@echo " Build successful."
|
|
@echo ""
|
|
|
|
ifeq ($(CONFIG),emcc)
|
|
yosys.js: $(filter-out yosysjs-$(YOSYS_VER).zip,$(EXTRA_TARGETS))
|
|
endif
|
|
|
|
$(PROGRAM_PREFIX)yosys$(EXE): $(OBJS)
|
|
$(P) $(CXX) -o $(PROGRAM_PREFIX)yosys$(EXE) $(EXE_LINKFLAGS) $(LINKFLAGS) $(OBJS) $(LIBS) $(LIBS_VERIFIC)
|
|
|
|
libyosys.so: $(filter-out kernel/driver.o,$(OBJS))
|
|
ifeq ($(OS), Darwin)
|
|
$(P) $(CXX) -o libyosys.so -shared -Wl,-install_name,$(LIBDIR)/libyosys.so $(LINKFLAGS) $^ $(LIBS) $(LIBS_VERIFIC)
|
|
else
|
|
$(P) $(CXX) -o libyosys.so -shared -Wl,-soname,$(LIBDIR)/libyosys.so $(LINKFLAGS) $^ $(LIBS) $(LIBS_VERIFIC)
|
|
endif
|
|
|
|
%.o: %.cc
|
|
$(Q) mkdir -p $(dir $@)
|
|
$(P) $(CXX) -o $@ -c $(CPPFLAGS) $(CXXFLAGS) $<
|
|
|
|
%.pyh: %.h
|
|
$(Q) mkdir -p $(dir $@)
|
|
$(P) cat $< | grep -E -v "#[ ]*(include|error)" | $(CXX) $(CXXFLAGS) -x c++ -o $@ -E -P -
|
|
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
$(PY_WRAPPER_FILE).cc: misc/$(PY_GEN_SCRIPT).py $(PY_WRAP_INCLUDES)
|
|
$(Q) mkdir -p $(dir $@)
|
|
$(P) python$(PYTHON_VERSION) -c "from misc import $(PY_GEN_SCRIPT); $(PY_GEN_SCRIPT).gen_wrappers(\"$(PY_WRAPPER_FILE).cc\")"
|
|
endif
|
|
|
|
%.o: %.cpp
|
|
$(Q) mkdir -p $(dir $@)
|
|
$(P) $(CXX) -o $@ -c $(CPPFLAGS) $(CXXFLAGS) $<
|
|
|
|
YOSYS_VER_STR := Yosys $(YOSYS_VER) (git sha1 $(GIT_REV), $(notdir $(CXX)) $(shell \
|
|
$(CXX) --version | tr ' ()' '\n' | grep '^[0-9]' | head -n1) $(filter -f% -m% -O% -DNDEBUG,$(CXXFLAGS)))
|
|
|
|
kernel/version_$(GIT_REV).cc: $(YOSYS_SRC)/Makefile
|
|
$(P) rm -f kernel/version_*.o kernel/version_*.d kernel/version_*.cc
|
|
$(Q) mkdir -p kernel && echo "namespace Yosys { extern const char *yosys_version_str; const char *yosys_version_str=\"$(YOSYS_VER_STR)\"; }" > kernel/version_$(GIT_REV).cc
|
|
|
|
ifeq ($(ENABLE_VERIFIC),1)
|
|
CXXFLAGS_NOVERIFIC = $(foreach v,$(CXXFLAGS),$(if $(findstring $(VERIFIC_DIR),$(v)),,$(v)))
|
|
LIBS_NOVERIFIC = $(foreach v,$(LIBS),$(if $(findstring $(VERIFIC_DIR),$(v)),,$(v)))
|
|
else
|
|
CXXFLAGS_NOVERIFIC = $(CXXFLAGS)
|
|
LIBS_NOVERIFIC = $(LIBS)
|
|
endif
|
|
|
|
$(PROGRAM_PREFIX)yosys-config: misc/yosys-config.in
|
|
$(P) $(SED) -e 's#@CXXFLAGS@#$(subst -Ilibs/dlfcn-win32,,$(subst -I. -I"$(YOSYS_SRC)",-I"$(DATDIR)/include",$(strip $(CXXFLAGS_NOVERIFIC))))#;' \
|
|
-e 's#@CXX@#$(strip $(CXX))#;' -e 's#@LINKFLAGS@#$(strip $(LINKFLAGS) $(PLUGIN_LINKFLAGS))#;' -e 's#@LIBS@#$(strip $(LIBS_NOVERIFIC) $(PLUGIN_LIBS))#;' \
|
|
-e 's#@BINDIR@#$(strip $(BINDIR))#;' -e 's#@DATDIR@#$(strip $(DATDIR))#;' < $< > $(PROGRAM_PREFIX)yosys-config
|
|
$(Q) chmod +x $(PROGRAM_PREFIX)yosys-config
|
|
|
|
abc/abc-$(ABCREV)$(EXE) abc/libabc-$(ABCREV).a:
|
|
$(P)
|
|
ifneq ($(ABCREV),default)
|
|
$(Q) if test -d abc/.hg; then \
|
|
echo 'REEBE: NOP qverpgbel vf n ut jbexvat pbcl! Erzbir nop/ naq er-eha "znxr".' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; false; \
|
|
fi
|
|
$(Q) if test -d abc && test -d abc/.git && ! git -C abc diff-index --quiet HEAD; then \
|
|
echo 'REEBE: NOP pbagnvaf ybpny zbqvsvpngvbaf! Frg NOPERI=qrsnhyg va Lbflf Znxrsvyr!' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; false; \
|
|
fi
|
|
$(Q) if test -d abc && ! test -d abc/.git && ! test "`cat abc/.gitcommit | cut -c1-7`" = "$(ABCREV)"; then \
|
|
echo 'REEBE: Qbjaybnqrq NOP irefvbaf qbrf abg zngpu! Qbjaybnq sebz:' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; echo $(ABCURL)/archive/$(ABCREV).tar.gz; false; \
|
|
fi
|
|
# set a variable so the test fails if git fails to run - when comparing outputs directly, empty string would match empty string
|
|
$(Q) if test -d abc && ! test -d abc/.git && test "`cat abc/.gitcommit | cut -c1-7`" = "$(ABCREV)"; then \
|
|
echo "Compiling local copy of ABC"; \
|
|
elif ! (cd abc 2> /dev/null && rev="`git rev-parse $(ABCREV)`" && test "`git rev-parse HEAD`" = "$$rev"); then \
|
|
test $(ABCPULL) -ne 0 || { echo 'REEBE: NOP abg hc gb qngr naq NOPCHYY frg gb 0 va Znxrsvyr!' | tr 'A-Za-z' 'N-ZA-Mn-za-m'; exit 1; }; \
|
|
echo "Pulling ABC from $(ABCURL):"; set -x; \
|
|
test -d abc || git clone $(ABCURL) abc; \
|
|
cd abc && $(MAKE) DEP= clean && git fetch $(ABCURL) && git checkout $(ABCREV); \
|
|
fi
|
|
endif
|
|
$(Q) rm -f abc/abc-[0-9a-f]*
|
|
$(Q) $(MAKE) -C abc $(S) $(ABCMKARGS) $(if $(filter %.a,$@),PROG="abc-$(ABCREV)",PROG="abc-$(ABCREV)$(EXE)") MSG_PREFIX="$(eval P_OFFSET = 5)$(call P_SHOW)$(eval P_OFFSET = 10) ABC: " $(if $(filter %.a,$@),libabc-$(ABCREV).a)
|
|
|
|
ifeq ($(ABCREV),default)
|
|
.PHONY: abc/abc-$(ABCREV)$(EXE)
|
|
.PHONY: abc/libabc-$(ABCREV).a
|
|
endif
|
|
|
|
$(PROGRAM_PREFIX)yosys-abc$(EXE): abc/abc-$(ABCREV)$(EXE)
|
|
$(P) cp abc/abc-$(ABCREV)$(EXE) $(PROGRAM_PREFIX)yosys-abc$(EXE)
|
|
|
|
$(PROGRAM_PREFIX)yosys-libabc.a: abc/libabc-$(ABCREV).a
|
|
$(P) cp abc/libabc-$(ABCREV).a $(PROGRAM_PREFIX)yosys-libabc.a
|
|
|
|
ifneq ($(SEED),)
|
|
SEEDOPT="-S $(SEED)"
|
|
else
|
|
SEEDOPT=""
|
|
endif
|
|
|
|
ifneq ($(ABCEXTERNAL),)
|
|
ABCOPT="-A $(ABCEXTERNAL)"
|
|
else
|
|
ABCOPT=""
|
|
endif
|
|
|
|
# When YOSYS_NOVERIFIC is set as a make variable, also export it to the
|
|
# enviornment, so that `YOSYS_NOVERIFIC=1 make test` _and_
|
|
# `make test YOSYS_NOVERIFIC=1` will run with verific disabled.
|
|
ifeq ($(YOSYS_NOVERIFIC),1)
|
|
export YOSYS_NOVERIFIC
|
|
endif
|
|
|
|
test: $(TARGETS) $(EXTRA_TARGETS)
|
|
ifeq ($(ENABLE_VERIFIC),1)
|
|
ifeq ($(YOSYS_NOVERIFIC),1)
|
|
@echo
|
|
@echo "Running tests without verific support due to YOSYS_NOVERIFIC=1"
|
|
@echo
|
|
else
|
|
+cd tests/verific && bash run-test.sh $(SEEDOPT)
|
|
endif
|
|
endif
|
|
+cd tests/simple && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/hana && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/asicworld && bash run-test.sh $(SEEDOPT)
|
|
# +cd tests/realmath && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/share && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/opt_share && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/fsm && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/techmap && bash run-test.sh
|
|
+cd tests/memories && bash run-test.sh $(ABCOPT) $(SEEDOPT)
|
|
+cd tests/memlib && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/bram && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/various && bash run-test.sh
|
|
+cd tests/select && bash run-test.sh
|
|
+cd tests/sat && bash run-test.sh
|
|
+cd tests/sim && bash run-test.sh
|
|
+cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/svtypes && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/proc && bash run-test.sh
|
|
+cd tests/blif && bash run-test.sh
|
|
+cd tests/opt && bash run-test.sh
|
|
+cd tests/aiger && bash run-test.sh $(ABCOPT)
|
|
+cd tests/arch && bash run-test.sh
|
|
+cd tests/arch/ice40 && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/xilinx && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/ecp5 && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/machxo2 && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/efinix && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/anlogic && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/gowin && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/intel_alm && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/nexus && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/quicklogic/pp3 && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/quicklogic/qlf_k6n10f && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/arch/gatemate && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/rpc && bash run-test.sh
|
|
+cd tests/memfile && bash run-test.sh
|
|
+cd tests/verilog && bash run-test.sh
|
|
+cd tests/xprop && bash run-test.sh $(SEEDOPT)
|
|
+cd tests/fmt && bash run-test.sh
|
|
+cd tests/cxxrtl && bash run-test.sh
|
|
@echo ""
|
|
@echo " Passed \"make test\"."
|
|
@echo ""
|
|
|
|
VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all
|
|
|
|
vgtest: $(TARGETS) $(EXTRA_TARGETS)
|
|
$(VALGRIND) ./yosys -p 'setattr -mod -unset top; synth' $$( ls tests/simple/*.v | grep -v repwhile.v )
|
|
@echo ""
|
|
@echo " Passed \"make vgtest\"."
|
|
@echo ""
|
|
|
|
vloghtb: $(TARGETS) $(EXTRA_TARGETS)
|
|
+cd tests/vloghtb && bash run-test.sh
|
|
@echo ""
|
|
@echo " Passed \"make vloghtb\"."
|
|
@echo ""
|
|
|
|
ystests: $(TARGETS) $(EXTRA_TARGETS)
|
|
rm -rf tests/ystests
|
|
git clone https://github.com/YosysHQ/yosys-tests.git tests/ystests
|
|
+$(MAKE) PATH="$$PWD:$$PATH" -C tests/ystests
|
|
@echo ""
|
|
@echo " Finished \"make ystests\"."
|
|
@echo ""
|
|
|
|
# Unit test
|
|
unit-test: libyosys.so
|
|
@$(MAKE) -C $(UNITESTPATH) CXX="$(CXX)" CPPFLAGS="$(CPPFLAGS)" \
|
|
CXXFLAGS="$(CXXFLAGS)" LIBS="$(LIBS)" ROOTPATH="$(CURDIR)"
|
|
|
|
clean-unit-test:
|
|
@$(MAKE) -C $(UNITESTPATH) clean
|
|
|
|
install: $(TARGETS) $(EXTRA_TARGETS)
|
|
$(INSTALL_SUDO) mkdir -p $(DESTDIR)$(BINDIR)
|
|
$(INSTALL_SUDO) cp $(filter-out libyosys.so,$(TARGETS)) $(DESTDIR)$(BINDIR)
|
|
ifneq ($(filter $(PROGRAM_PREFIX)yosys,$(TARGETS)),)
|
|
$(INSTALL_SUDO) $(STRIP) -S $(DESTDIR)$(BINDIR)/$(PROGRAM_PREFIX)yosys
|
|
endif
|
|
ifneq ($(filter $(PROGRAM_PREFIX)yosys-abc,$(TARGETS)),)
|
|
$(INSTALL_SUDO) $(STRIP) $(DESTDIR)$(BINDIR)/$(PROGRAM_PREFIX)yosys-abc
|
|
endif
|
|
ifneq ($(filter $(PROGRAM_PREFIX)yosys-filterlib,$(TARGETS)),)
|
|
$(INSTALL_SUDO) $(STRIP) $(DESTDIR)$(BINDIR)/$(PROGRAM_PREFIX)yosys-filterlib
|
|
endif
|
|
$(INSTALL_SUDO) mkdir -p $(DESTDIR)$(DATDIR)
|
|
$(INSTALL_SUDO) cp -r share/. $(DESTDIR)$(DATDIR)/.
|
|
ifeq ($(ENABLE_LIBYOSYS),1)
|
|
$(INSTALL_SUDO) mkdir -p $(DESTDIR)$(LIBDIR)
|
|
$(INSTALL_SUDO) cp libyosys.so $(DESTDIR)$(LIBDIR)/
|
|
$(INSTALL_SUDO) $(STRIP) -S $(DESTDIR)$(LIBDIR)/libyosys.so
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
$(INSTALL_SUDO) mkdir -p $(DESTDIR)$(PYTHON_DESTDIR)/$(subst -,_,$(PROGRAM_PREFIX))pyosys
|
|
$(INSTALL_SUDO) cp libyosys.so $(DESTDIR)$(PYTHON_DESTDIR)/$(subst -,_,$(PROGRAM_PREFIX))pyosys/libyosys.so
|
|
$(INSTALL_SUDO) cp misc/__init__.py $(DESTDIR)$(PYTHON_DESTDIR)/$(subst -,_,$(PROGRAM_PREFIX))pyosys/
|
|
endif
|
|
endif
|
|
ifeq ($(ENABLE_PLUGINS),1)
|
|
ifeq ($(OS), MINGW)
|
|
$(INSTALL_SUDO) mkdir -p $(DESTDIR)$(LIBDIR)
|
|
$(INSTALL_SUDO) cp libyosys_exe.a $(DESTDIR)$(LIBDIR)/
|
|
endif
|
|
endif
|
|
|
|
uninstall:
|
|
$(INSTALL_SUDO) rm -vf $(addprefix $(DESTDIR)$(BINDIR)/,$(notdir $(TARGETS)))
|
|
$(INSTALL_SUDO) rm -rvf $(DESTDIR)$(DATDIR)
|
|
ifeq ($(ENABLE_LIBYOSYS),1)
|
|
$(INSTALL_SUDO) rm -vf $(DESTDIR)$(LIBDIR)/libyosys.so
|
|
ifeq ($(ENABLE_PYOSYS),1)
|
|
$(INSTALL_SUDO) rm -vf $(DESTDIR)$(PYTHON_DESTDIR)/$(subst -,_,$(PROGRAM_PREFIX))pyosys/libyosys.so
|
|
$(INSTALL_SUDO) rm -vf $(DESTDIR)$(PYTHON_DESTDIR)/$(subst -,_,$(PROGRAM_PREFIX))pyosys/__init__.py
|
|
$(INSTALL_SUDO) rmdir $(DESTDIR)$(PYTHON_DESTDIR)/$(subst -,_,$(PROGRAM_PREFIX))pyosys
|
|
endif
|
|
endif
|
|
|
|
# also others, but so long as it doesn't fail this is enough to know we tried
|
|
docs/source/cmd/abc.rst: $(TARGETS) $(EXTRA_TARGETS)
|
|
mkdir -p docs/source/cmd
|
|
./$(PROGRAM_PREFIX)yosys -p 'help -write-rst-command-reference-manual'
|
|
|
|
PHONY: docs/gen_examples docs/gen_images docs/guidelines docs/usage docs/reqs
|
|
docs/gen_examples:
|
|
$(Q) $(MAKE) -C docs examples
|
|
|
|
docs/gen_images:
|
|
$(Q) $(MAKE) -C docs images
|
|
|
|
DOCS_GUIDELINE_FILES := GettingStarted CodingStyle
|
|
docs/guidelines:
|
|
$(Q) mkdir -p docs/source/temp
|
|
$(Q) cp -f $(addprefix guidelines/,$(DOCS_GUIDELINE_FILES)) docs/source/temp
|
|
|
|
# many of these will return an error which can be safely ignored, so we prefix
|
|
# the command with a '-'
|
|
DOCS_USAGE_PROGS := yosys yosys-config yosys-filterlib yosys-abc yosys-smtbmc yosys-witness
|
|
docs/usage: $(addprefix docs/source/temp/,$(DOCS_USAGE_PROGS))
|
|
docs/source/temp/%: docs/guidelines
|
|
-$(Q) ./$(PROGRAM_PREFIX)$* --help > $@ 2>&1
|
|
|
|
docs/reqs:
|
|
$(Q) $(MAKE) -C docs reqs
|
|
|
|
DOC_TARGET ?= html
|
|
docs: docs/source/cmd/abc.rst docs/gen_examples docs/gen_images docs/guidelines docs/usage docs/reqs
|
|
$(Q) $(MAKE) -C docs $(DOC_TARGET)
|
|
|
|
clean:
|
|
rm -rf share
|
|
rm -rf kernel/*.pyh
|
|
rm -f $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS) $(EXTRA_OBJS) $(PY_WRAP_INCLUDES) $(PY_WRAPPER_FILE).cc
|
|
rm -f kernel/version_*.o kernel/version_*.cc
|
|
rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
|
|
rm -rf tests/asicworld/*.out tests/asicworld/*.log
|
|
rm -rf tests/hana/*.out tests/hana/*.log
|
|
rm -rf tests/simple/*.out tests/simple/*.log
|
|
rm -rf tests/memories/*.out tests/memories/*.log tests/memories/*.dmp
|
|
rm -rf tests/sat/*.log tests/techmap/*.log tests/various/*.log
|
|
rm -rf tests/bram/temp tests/fsm/temp tests/realmath/temp tests/share/temp tests/smv/temp tests/various/temp
|
|
rm -rf vloghtb/Makefile vloghtb/refdat vloghtb/rtl vloghtb/scripts vloghtb/spec vloghtb/check_yosys vloghtb/vloghammer_tb.tar.bz2 vloghtb/temp vloghtb/log_test_*
|
|
rm -f tests/svinterfaces/*.log_stdout tests/svinterfaces/*.log_stderr tests/svinterfaces/dut_result.txt tests/svinterfaces/reference_result.txt tests/svinterfaces/a.out tests/svinterfaces/*_syn.v tests/svinterfaces/*.diff
|
|
rm -f tests/tools/cmp_tbdata
|
|
$(MAKE) -C docs clean
|
|
|
|
clean-abc:
|
|
$(MAKE) -C abc DEP= clean
|
|
rm -f $(PROGRAM_PREFIX)yosys-abc$(EXE) $(PROGRAM_PREFIX)yosys-libabc.a abc/abc-[0-9a-f]* abc/libabc-[0-9a-f]*.a
|
|
|
|
mrproper: clean
|
|
git clean -xdf
|
|
|
|
coverage:
|
|
./$(PROGRAM_PREFIX)yosys -qp 'help; help -all'
|
|
rm -rf coverage.info coverage_html
|
|
lcov --capture -d . --no-external -o coverage.info
|
|
genhtml coverage.info --output-directory coverage_html
|
|
|
|
qtcreator:
|
|
{ for file in $(basename $(OBJS)); do \
|
|
for prefix in cc y l; do if [ -f $${file}.$${prefix} ]; then echo $$file.$${prefix}; fi; done \
|
|
done; find backends frontends kernel libs passes -type f \( -name '*.h' -o -name '*.hh' \); } > qtcreator.files
|
|
{ echo .; find backends frontends kernel libs passes -type f \( -name '*.h' -o -name '*.hh' \) -printf '%h\n' | sort -u; } > qtcreator.includes
|
|
touch qtcreator.config qtcreator.creator
|
|
|
|
vcxsrc: $(GENFILES) $(EXTRA_TARGETS)
|
|
rm -rf yosys-win32-vcxsrc-$(YOSYS_VER){,.zip}
|
|
set -e; for f in `ls $(filter %.cc %.cpp,$(GENFILES)) $(addsuffix .cc,$(basename $(OBJS))) $(addsuffix .cpp,$(basename $(OBJS))) 2> /dev/null`; do \
|
|
echo "Analyse: $$f" >&2; cpp -std=c++11 -MM -I. -D_YOSYS_ $$f; done | sed 's,.*:,,; s,//*,/,g; s,/[^/]*/\.\./,/,g; y, \\,\n\n,;' | grep '^[^/]' | sort -u | grep -v kernel/version_ > srcfiles.txt
|
|
bash misc/create_vcxsrc.sh yosys-win32-vcxsrc $(YOSYS_VER) $(GIT_REV)
|
|
echo "namespace Yosys { extern const char *yosys_version_str; const char *yosys_version_str=\"Yosys (Version Information Unavailable)\"; }" > kernel/version.cc
|
|
zip yosys-win32-vcxsrc-$(YOSYS_VER)/genfiles.zip $(GENFILES) kernel/version.cc
|
|
zip -r yosys-win32-vcxsrc-$(YOSYS_VER).zip yosys-win32-vcxsrc-$(YOSYS_VER)/
|
|
rm -f srcfiles.txt kernel/version.cc
|
|
|
|
ifeq ($(CONFIG),mxe)
|
|
mxebin: $(TARGETS) $(EXTRA_TARGETS)
|
|
rm -rf yosys-win32-mxebin-$(YOSYS_VER){,.zip}
|
|
mkdir -p yosys-win32-mxebin-$(YOSYS_VER)
|
|
cp -r $(PROGRAM_PREFIX)yosys.exe share/ yosys-win32-mxebin-$(YOSYS_VER)/
|
|
ifeq ($(ENABLE_ABC),1)
|
|
cp -r $(PROGRAM_PREFIX)yosys-abc.exe abc/lib/x86/pthreadVC2.dll yosys-win32-mxebin-$(YOSYS_VER)/
|
|
endif
|
|
echo -en 'This is Yosys $(YOSYS_VER) for Win32.\r\n' > yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
|
|
echo -en 'Documentation at https://yosyshq.net/yosys/.\r\n' >> yosys-win32-mxebin-$(YOSYS_VER)/readme.txt
|
|
zip -r yosys-win32-mxebin-$(YOSYS_VER).zip yosys-win32-mxebin-$(YOSYS_VER)/
|
|
endif
|
|
|
|
config-clean: clean
|
|
rm -f Makefile.conf
|
|
|
|
config-clang: clean
|
|
echo 'CONFIG := clang' > Makefile.conf
|
|
|
|
config-gcc: clean
|
|
echo 'CONFIG := gcc' > Makefile.conf
|
|
|
|
config-gcc-static: clean
|
|
echo 'CONFIG := gcc-static' > Makefile.conf
|
|
echo 'ENABLE_PLUGINS := 0' >> Makefile.conf
|
|
echo 'ENABLE_READLINE := 0' >> Makefile.conf
|
|
echo 'ENABLE_TCL := 0' >> Makefile.conf
|
|
|
|
config-afl-gcc: clean
|
|
echo 'CONFIG := afl-gcc' > Makefile.conf
|
|
|
|
config-emcc: clean
|
|
echo 'CONFIG := emcc' > Makefile.conf
|
|
echo 'ENABLE_TCL := 0' >> Makefile.conf
|
|
echo 'ENABLE_ABC := 0' >> Makefile.conf
|
|
echo 'ENABLE_PLUGINS := 0' >> Makefile.conf
|
|
echo 'ENABLE_READLINE := 0' >> Makefile.conf
|
|
echo 'ENABLE_ZLIB := 0' >> Makefile.conf
|
|
|
|
config-wasi: clean
|
|
echo 'CONFIG := wasi' > Makefile.conf
|
|
echo 'ENABLE_TCL := 0' >> Makefile.conf
|
|
echo 'ENABLE_ABC := 0' >> Makefile.conf
|
|
echo 'ENABLE_PLUGINS := 0' >> Makefile.conf
|
|
echo 'ENABLE_READLINE := 0' >> Makefile.conf
|
|
echo 'ENABLE_ZLIB := 0' >> Makefile.conf
|
|
|
|
config-mxe: clean
|
|
echo 'CONFIG := mxe' > Makefile.conf
|
|
echo 'ENABLE_PLUGINS := 0' >> Makefile.conf
|
|
|
|
config-msys2-32: clean
|
|
echo 'CONFIG := msys2-32' > Makefile.conf
|
|
echo "PREFIX := $(MINGW_PREFIX)" >> Makefile.conf
|
|
|
|
config-msys2-64: clean
|
|
echo 'CONFIG := msys2-64' > Makefile.conf
|
|
echo "PREFIX := $(MINGW_PREFIX)" >> Makefile.conf
|
|
|
|
config-cygwin: clean
|
|
echo 'CONFIG := cygwin' > Makefile.conf
|
|
|
|
config-gcov: clean
|
|
echo 'CONFIG := gcc' > Makefile.conf
|
|
echo 'ENABLE_GCOV := 1' >> Makefile.conf
|
|
echo 'ENABLE_DEBUG := 1' >> Makefile.conf
|
|
|
|
config-gprof: clean
|
|
echo 'CONFIG := gcc' > Makefile.conf
|
|
echo 'ENABLE_GPROF := 1' >> Makefile.conf
|
|
|
|
config-sudo:
|
|
echo "INSTALL_SUDO := sudo" >> Makefile.conf
|
|
|
|
echo-yosys-ver:
|
|
@echo "$(YOSYS_VER)"
|
|
|
|
echo-git-rev:
|
|
@echo "$(GIT_REV)"
|
|
|
|
echo-abc-rev:
|
|
@echo "$(ABCREV)"
|
|
|
|
echo-cxx:
|
|
@echo "$(CXX)"
|
|
|
|
-include libs/*/*.d
|
|
-include frontends/*/*.d
|
|
-include passes/*/*.d
|
|
-include backends/*/*.d
|
|
-include kernel/*.d
|
|
-include techlibs/*/*.d
|
|
|
|
.PHONY: all top-all abc test install install-abc docs clean mrproper qtcreator coverage vcxsrc mxebin
|
|
.PHONY: config-clean config-clang config-gcc config-gcc-static config-afl-gcc config-gprof config-sudo
|