9 # features (the more the better)
19 # other configuration flags
30 # SANITIZER = undefined
37 BINDIR
:= $(PREFIX
)/bin
38 LIBDIR
:= $(PREFIX
)/lib
39 DATDIR
:= $(PREFIX
)/share
/yosys
46 TARGETS
= yosys
$(EXE
) yosys-config
52 UNITESTPATH
:= tests
/unit
56 YOSYS_SRC
:= $(dir $(firstword $(MAKEFILE_LIST
)))
59 CXXFLAGS
:= $(CXXFLAGS
) -Wall
-Wextra
-ggdb
-I.
-I
"$(YOSYS_SRC)" -MD
-D_YOSYS_
-fPIC
-I
$(PREFIX
)/include
60 LDFLAGS
:= $(LDFLAGS
) -L
$(LIBDIR
)
61 LDLIBS
:= $(LDLIBS
) -lstdc
++ -lm
64 PKG_CONFIG ?
= pkg-config
69 ifeq (Darwin
,$(findstring Darwin
,$(shell uname
)))
70 PLUGIN_LDFLAGS
+= -undefined dynamic_lookup
72 # homebrew search paths
73 ifneq ($(shell which brew
),)
74 BREW_PREFIX
:= $(shell brew
--prefix)/opt
75 CXXFLAGS
+= -I
$(BREW_PREFIX
)/readline
/include
76 LDFLAGS
+= -L
$(BREW_PREFIX
)/readline
/lib
77 PKG_CONFIG_PATH
:= $(BREW_PREFIX
)/libffi
/lib
/pkgconfig
:$(PKG_CONFIG_PATH
)
78 PKG_CONFIG_PATH
:= $(BREW_PREFIX
)/tcl-tk
/lib
/pkgconfig
:$(PKG_CONFIG_PATH
)
79 export PATH
:= $(BREW_PREFIX
)/bison
/bin
:$(BREW_PREFIX
)/gettext
/bin
:$(BREW_PREFIX
)/flex
/bin
:$(PATH
)
81 # macports search paths
82 else ifneq ($(shell which port
),)
83 PORT_PREFIX
:= $(patsubst %/bin
/port
,%,$(shell which port
))
84 CXXFLAGS
+= -I
$(PORT_PREFIX
)/include
85 LDFLAGS
+= -L
$(PORT_PREFIX
)/lib
86 PKG_CONFIG_PATH
:= $(PORT_PREFIX
)/lib
/pkgconfig
:$(PKG_CONFIG_PATH
)
87 export PATH
:= $(PORT_PREFIX
)/bin
:$(PATH
)
95 YOSYS_VER
:= 0.7+$(shell cd
$(YOSYS_SRC
) && test -e .git
&& { git log
--author
=clifford@clifford.at
--oneline
61f6811.. | wc
-l
; })
96 GIT_REV
:= $(shell cd
$(YOSYS_SRC
) && git rev-parse
--short HEAD
2> /dev
/null || echo UNKNOWN
)
97 OBJS
= kernel
/version_
$(GIT_REV
).o
99 # set 'ABCREV = default' to use abc/ as it is
101 # Note: If you do ABC development, make sure that 'abc' in this directory
102 # is just a symlink to your actual ABC working directory, as 'make mrproper'
103 # will remove the 'abc' directory and you do not want to accidentally
104 # delete your work on ABC..
107 ABCURL ?
= https
://github.com
/berkeley-abc
/abc
108 ABCMKARGS
= CC
="$(CXX)" CXX
="$(CXX)" ABC_USE_LIBSTDCXX
=1
110 # set ABCEXTERNAL = <abc-command> to use an external ABC instance
111 # Note: The in-tree ABC (yosys-abc) will not be installed when ABCEXTERNAL is set.
119 ifneq ($(wildcard Makefile.conf
),)
120 $(info $(subst $$--$$,$(newline
),$(shell sed
's,^,[Makefile.conf] ,; s,$$,$$--$$,;' < Makefile.conf | tr
-d
'\n' | sed
's,\$$--\$$$$,,')))
121 include Makefile.conf
124 ifeq ($(CONFIG
),clang
)
127 CXXFLAGS
+= -std
=c
++11 -Os
129 ifneq ($(SANITIZER
),)
130 $(info [Clang Sanitizer
] $(SANITIZER
))
131 CXXFLAGS
+= -g
-O1
-fno-omit-frame-pointer
-fno-optimize-sibling-calls
-fsanitize
=$(SANITIZER
)
132 LDFLAGS
+= -g
-fsanitize
=$(SANITIZER
)
133 ifeq ($(SANITIZER
),address
)
136 ifeq ($(SANITIZER
),memory
)
137 CXXFLAGS
+= -fPIE
-fsanitize-memory-track-origins
138 LDFLAGS
+= -fPIE
-fsanitize-memory-track-origins
140 ifeq ($(SANITIZER
),cfi
)
146 else ifeq ($(CONFIG
),gcc
)
149 CXXFLAGS
+= -std
=c
++11 -Os
151 else ifeq ($(CONFIG
),gcc-4.8
)
154 CXXFLAGS
+= -std
=c
++11 -Os
156 else ifeq ($(CONFIG
),emcc
)
159 CXXFLAGS
:= -std
=c
++11 $(filter-out -fPIC
-ggdb
,$(CXXFLAGS
))
160 EMCCFLAGS
:= -Os
-Wno-warn-absolute-paths
161 EMCCFLAGS
+= --memory-init-file
0 --embed-file share
-s NO_EXIT_RUNTIME
=1
162 EMCCFLAGS
+= -s EXPORTED_FUNCTIONS
="['_main','_run','_prompt','_errmsg']"
163 EMCCFLAGS
+= -s TOTAL_MEMORY
=128*1024*1024
164 # https://github.com/kripken/emscripten/blob/master/src/settings.js
165 CXXFLAGS
+= $(EMCCFLAGS
)
166 LDFLAGS
+= $(EMCCFLAGS
)
170 TARGETS
:= $(filter-out yosys-config
,$(TARGETS
))
171 EXTRA_TARGETS
+= yosysjs-
$(YOSYS_VER
).zip
174 wget
-O viz.js.part https
://github.com
/mdaines
/viz.js
/releases
/download
/0.0.3/viz.js
175 mv viz.js.part viz.js
177 yosysjs-
$(YOSYS_VER
).zip
: yosys.js viz.js misc
/yosysjs
/*
178 rm -rf yosysjs-
$(YOSYS_VER
) yosysjs-
$(YOSYS_VER
).zip
179 mkdir
-p yosysjs-
$(YOSYS_VER
)
180 cp viz.js misc
/yosysjs
/* yosys.js yosysjs-
$(YOSYS_VER
)/
181 zip
-r yosysjs-
$(YOSYS_VER
).zip yosysjs-
$(YOSYS_VER
)
183 yosys.html
: misc
/yosys.html
184 $(P
) cp misc
/yosys.html yosys.html
186 else ifeq ($(CONFIG
),mxe
)
187 PKG_CONFIG
= /usr
/local
/src
/mxe
/usr
/bin
/i686-w64-mingw32.static-pkg-config
188 CXX
= /usr
/local
/src
/mxe
/usr
/bin
/i686-w64-mingw32.static-gcc
189 LD
= /usr
/local
/src
/mxe
/usr
/bin
/i686-w64-mingw32.static-gcc
190 CXXFLAGS
+= -std
=c
++11 -Os
-D_POSIX_SOURCE
-DYOSYS_MXE_HACKS
-Wno-attributes
191 CXXFLAGS
:= $(filter-out -fPIC
,$(CXXFLAGS
))
192 LDFLAGS
:= $(filter-out -rdynamic
,$(LDFLAGS
)) -s
193 LDLIBS
:= $(filter-out -lrt
,$(LDLIBS
))
194 ABCMKARGS
+= ARCHFLAGS
="-DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC -fpermissive -w"
195 ABCMKARGS
+= LIBS
="lib/x86/pthreadVC2.lib -s" ABC_USE_NO_READLINE
=1 CC
="$(CXX)" CXX
="$(CXX)"
198 else ifeq ($(CONFIG
),msys2
)
199 CXX
= i686-w64-mingw32-g
++
200 LD
= i686-w64-mingw32-g
++
201 CXXFLAGS
+= -std
=c
++11 -Os
-D_POSIX_SOURCE
-DYOSYS_WIN32_UNIX_DIR
202 CXXFLAGS
:= $(filter-out -fPIC
,$(CXXFLAGS
))
203 LDFLAGS
:= $(filter-out -rdynamic
,$(LDFLAGS
)) -s
204 LDLIBS
:= $(filter-out -lrt
,$(LDLIBS
))
205 ABCMKARGS
+= ARCHFLAGS
="-DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -DWIN32_NO_DLL -DHAVE_STRUCT_TIMESPEC -fpermissive -w"
206 ABCMKARGS
+= LIBS
="lib/x86/pthreadVC2.lib -s" ABC_USE_NO_READLINE
=0 CC
="i686-w64-mingw32-gcc" CXX
="$(CXX)"
209 else ifneq ($(CONFIG
),none
)
210 $(error Invalid CONFIG setting
'$(CONFIG)'. Valid values
: clang
, gcc
, gcc-4.8
, emcc
, mxe
, msys2
)
213 ifeq ($(ENABLE_LIBYOSYS
),1)
214 TARGETS
+= libyosys.so
217 ifeq ($(ENABLE_READLINE
),1)
218 CXXFLAGS
+= -DYOSYS_ENABLE_READLINE
220 ifeq ($(LINK_CURSES
),1)
222 ABCMKARGS
+= "ABC_READLINE_LIBRARIES=-lcurses -lreadline"
224 ifeq ($(LINK_TERMCAP
),1)
226 ABCMKARGS
+= "ABC_READLINE_LIBRARIES=-lreadline -ltermcap"
232 ifeq ($(ENABLE_EDITLINE
),1)
233 CXXFLAGS
+= -DYOSYS_ENABLE_EDITLINE
234 LDLIBS
+= -ledit
-ltinfo
-lbsd
238 ifeq ($(ENABLE_PLUGINS
),1)
239 CXXFLAGS
+= $(shell PKG_CONFIG_PATH
=$(PKG_CONFIG_PATH
) $(PKG_CONFIG
) --silence-errors
--cflags libffi
) -DYOSYS_ENABLE_PLUGINS
240 LDLIBS
+= $(shell PKG_CONFIG_PATH
=$(PKG_CONFIG_PATH
) $(PKG_CONFIG
) --silence-errors
--libs libffi || echo
-lffi
) -ldl
243 ifeq ($(ENABLE_TCL
),1)
244 TCL_VERSION ?
= tcl
$(shell bash
-c
"tclsh <(echo 'puts [info tclversion]')")
245 TCL_INCLUDE ?
= /usr
/include/$(TCL_VERSION
)
248 CXXFLAGS
+= -DYOSYS_ENABLE_TCL
249 LDLIBS
+= -ltcl86
-lwsock32
-lws2_32
-lnetapi32
251 CXXFLAGS
+= $(shell PKG_CONFIG_PATH
=$(PKG_CONFIG_PATH
) $(PKG_CONFIG
) --silence-errors
--cflags tcl || echo
-I
$(TCL_INCLUDE
)) -DYOSYS_ENABLE_TCL
252 LDLIBS
+= $(shell PKG_CONFIG_PATH
=$(PKG_CONFIG_PATH
) $(PKG_CONFIG
) --silence-errors
--libs tcl || echo
-l
$(TCL_VERSION
))
256 ifeq ($(ENABLE_GPROF
),1)
261 ifeq ($(ENABLE_NDEBUG
),1)
262 CXXFLAGS
:= -O3
-DNDEBUG
$(filter-out -Os
-ggdb
,$(CXXFLAGS
))
265 ifeq ($(ENABLE_DEBUG
),1)
266 ifeq ($(CONFIG
),clang
)
267 CXXFLAGS
:= -O0
-DDEBUG
$(filter-out -Os
,$(CXXFLAGS
))
269 CXXFLAGS
:= -Og
-DDEBUG
$(filter-out -Os
,$(CXXFLAGS
))
273 ifeq ($(ENABLE_ABC
),1)
274 CXXFLAGS
+= -DYOSYS_ENABLE_ABC
275 ifeq ($(ABCEXTERNAL
),)
276 TARGETS
+= yosys-abc
$(EXE
)
280 ifeq ($(ENABLE_VERIFIC
),1)
281 VERIFIC_DIR ?
= /usr
/local
/src
/verific_lib_eval
282 VERIFIC_COMPONENTS ?
= verilog vhdl database util containers sdf hier_tree
283 CXXFLAGS
+= $(patsubst %,-I
$(VERIFIC_DIR
)/%,$(VERIFIC_COMPONENTS
)) -DYOSYS_ENABLE_VERIFIC
284 LDLIBS
+= $(patsubst %,$(VERIFIC_DIR
)/%/*-linux.a
,$(VERIFIC_COMPONENTS
)) -lz
287 ifeq ($(ENABLE_COVER
),1)
288 CXXFLAGS
+= -DYOSYS_ENABLE_COVER
291 define add_share_file
292 EXTRA_TARGETS
+= $(subst //,/,$(1)/$(notdir $(2)))
293 $(subst //,/,$(1)/$(notdir $(2))): $(2)
295 $$(Q
) cp
"$(YOSYS_SRC)"/$(2) $(subst //,/,$(1)/$(notdir $(2)))
298 define add_gen_share_file
299 EXTRA_TARGETS
+= $(subst //,/,$(1)/$(notdir $(2)))
300 $(subst //,/,$(1)/$(notdir $(2))): $(2)
302 $$(Q
) cp
$(2) $(subst //,/,$(1)/$(notdir $(2)))
305 define add_include_file
306 $(eval
$(call add_share_file
,$(dir share
/include/$(1)),$(1)))
312 P_UPDATE
= $(eval P_STATUS
=$(shell echo
$(OBJS
) yosys
$(EXE
) | gawk
'BEGIN { RS = " "; I = $(P_STATUS)+0; } $$1 == "$@" && NR > I { I = NR; } END { print I; }'))
313 P_SHOW
= [$(shell gawk
"BEGIN { N=$(words $(OBJS) yosys$(EXE)); printf \"%3d\", $(P_OFFSET)+90*$(P_STATUS)/N; exit; }")%]
314 P
= @echo
"$(if $(findstring $@,$(TARGETS) $(EXTRA_TARGETS)),$(eval P_OFFSET = 10))$(call P_UPDATE)$(call P_SHOW) Building $@";
324 $(eval
$(call add_include_file
,kernel
/yosys.h
))
325 $(eval
$(call add_include_file
,kernel
/hashlib.h
))
326 $(eval
$(call add_include_file
,kernel
/log.h
))
327 $(eval
$(call add_include_file
,kernel
/rtlil.h
))
328 $(eval
$(call add_include_file
,kernel
/register.h
))
329 $(eval
$(call add_include_file
,kernel
/celltypes.h
))
330 $(eval
$(call add_include_file
,kernel
/celledges.h
))
331 $(eval
$(call add_include_file
,kernel
/consteval.h
))
332 $(eval
$(call add_include_file
,kernel
/sigtools.h
))
333 $(eval
$(call add_include_file
,kernel
/modtools.h
))
334 $(eval
$(call add_include_file
,kernel
/macc.h
))
335 $(eval
$(call add_include_file
,kernel
/utils.h
))
336 $(eval
$(call add_include_file
,kernel
/satgen.h
))
337 $(eval
$(call add_include_file
,libs
/ezsat
/ezsat.h
))
338 $(eval
$(call add_include_file
,libs
/ezsat
/ezminisat.h
))
339 $(eval
$(call add_include_file
,libs
/sha1
/sha1.h
))
340 $(eval
$(call add_include_file
,passes
/fsm
/fsmdata.h
))
341 $(eval
$(call add_include_file
,frontends
/ast
/ast.h
))
342 $(eval
$(call add_include_file
,backends
/ilang
/ilang_backend.h
))
344 OBJS
+= kernel
/driver.o kernel
/register.o kernel
/rtlil.o kernel
/log.o kernel
/calc.o kernel
/yosys.o
345 OBJS
+= kernel
/cellaigs.o kernel
/celledges.o
347 kernel
/log.o
: CXXFLAGS
+= -DYOSYS_SRC
='"$(YOSYS_SRC)"'
348 kernel
/yosys.o
: CXXFLAGS
+= -DYOSYS_DATDIR
='"$(DATDIR)"'
350 OBJS
+= libs
/bigint
/BigIntegerAlgorithms.o libs
/bigint
/BigInteger.o libs
/bigint
/BigIntegerUtils.o
351 OBJS
+= libs
/bigint
/BigUnsigned.o libs
/bigint
/BigUnsignedInABase.o
353 OBJS
+= libs
/sha1
/sha1.o
357 OBJS
+= libs
/subcircuit
/subcircuit.o
359 OBJS
+= libs
/ezsat
/ezsat.o
360 OBJS
+= libs
/ezsat
/ezminisat.o
362 OBJS
+= libs
/minisat
/Options.o
363 OBJS
+= libs
/minisat
/SimpSolver.o
364 OBJS
+= libs
/minisat
/Solver.o
365 OBJS
+= libs
/minisat
/System.o
367 include $(YOSYS_SRC
)/frontends
/*/Makefile.inc
368 include $(YOSYS_SRC
)/passes
/*/Makefile.inc
369 include $(YOSYS_SRC
)/backends
/*/Makefile.inc
370 include $(YOSYS_SRC
)/techlibs
/*/Makefile.inc
374 include frontends
/verilog
/Makefile.inc
375 include frontends
/ilang
/Makefile.inc
376 include frontends
/ast
/Makefile.inc
377 include frontends
/blif
/Makefile.inc
379 OBJS
+= passes
/hierarchy
/hierarchy.o
380 OBJS
+= passes
/cmds
/select.o
381 OBJS
+= passes
/cmds
/show.o
382 OBJS
+= passes
/cmds
/stat.o
383 OBJS
+= passes
/cmds
/cover.o
384 OBJS
+= passes
/cmds
/design.o
385 OBJS
+= passes
/cmds
/plugin.o
387 include passes
/proc
/Makefile.inc
388 include passes
/opt
/Makefile.inc
389 include passes
/techmap
/Makefile.inc
391 include backends
/verilog
/Makefile.inc
392 include backends
/ilang
/Makefile.inc
394 include techlibs
/common
/Makefile.inc
398 top-all
: $(TARGETS
) $(EXTRA_TARGETS
)
400 @echo
" Build successful."
403 ifeq ($(CONFIG
),emcc
)
404 yosys.js
: $(filter-out yosysjs-
$(YOSYS_VER
).zip
,$(EXTRA_TARGETS
))
408 $(P
) $(LD
) -o yosys
$(EXE
) $(LDFLAGS
) $(OBJS
) $(LDLIBS
)
410 libyosys.so
: $(filter-out kernel
/driver.o
,$(OBJS
))
411 $(P
) $(LD
) -o libyosys.so
-shared
-Wl
,-soname
,libyosys.so
$(LDFLAGS
) $^
$(LDLIBS
)
414 $(Q
) mkdir
-p
$(dir $@
)
415 $(P
) $(CXX
) -o
$@
-c
$(CPPFLAGS
) $(CXXFLAGS
) $<
418 $(Q
) mkdir
-p
$(dir $@
)
419 $(P
) $(CXX
) -o
$@
-c
$(CPPFLAGS
) $(CXXFLAGS
) $<
421 YOSYS_VER_STR
:= Yosys
$(YOSYS_VER
) (git sha1
$(GIT_REV
), $(notdir $(CXX
)) $(shell \
422 $(CXX
) --version | tr
' ()' '\n' | grep
'^[0-9]' | head
-n1
) $(filter -f
% -m
% -O
% -DNDEBUG
,$(CXXFLAGS
)))
424 kernel
/version_
$(GIT_REV
).
cc: $(YOSYS_SRC
)/Makefile
425 $(P
) rm -f kernel
/version_
*.o kernel
/version_
*.d kernel
/version_
*.
cc
426 $(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
428 ifeq ($(ENABLE_VERIFIC
),1)
429 CXXFLAGS_NOVERIFIC
= $(foreach v
,$(CXXFLAGS
),$(if
$(findstring $(VERIFIC_DIR
),$(v
)),,$(v
)))
430 LDLIBS_NOVERIFIC
= $(foreach v
,$(LDLIBS
),$(if
$(findstring $(VERIFIC_DIR
),$(v
)),,$(v
)))
432 CXXFLAGS_NOVERIFIC
= $(CXXFLAGS
)
433 LDLIBS_NOVERIFIC
= $(LDLIBS
)
436 yosys-config
: misc
/yosys-config.in
437 $(P
) $(SED
) -e
's#@CXXFLAGS@#$(subst -I. -I"$(YOSYS_SRC)",-I"$(DATDIR)/include",$(strip $(CXXFLAGS_NOVERIFIC)))#;' \
438 -e
's#@CXX@#$(strip $(CXX))#;' -e
's#@LDFLAGS@#$(strip $(LDFLAGS) $(PLUGIN_LDFLAGS))#;' -e
's#@LDLIBS@#$(strip $(LDLIBS_NOVERIFIC))#;' \
439 -e
's#@BINDIR@#$(strip $(BINDIR))#;' -e
's#@DATDIR@#$(strip $(DATDIR))#;' < $< > yosys-config
440 $(Q
) chmod
+x yosys-config
442 abc
/abc-
$(ABCREV
)$(EXE
):
444 ifneq ($(ABCREV
),default
)
445 $(Q
) if
( cd abc
2> /dev
/null
&& ! git diff-index
--quiet HEAD
; ); then \
446 echo
'REEBE: NOP pbagnvaf ybpny zbqvsvpngvbaf! Frg NOPERI=qrsnhyg va Lbflf Znxrsvyr!' | tr
'A-Za-z' 'N-ZA-Mn-za-m'; false
; \
448 $(Q
) if
test "`cd abc 2> /dev/null && git rev-parse --short HEAD`" != "$(ABCREV)"; then \
449 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; }; \
450 echo
"Pulling ABC from $(ABCURL):"; set
-x
; \
451 test -d abc || git clone
$(ABCURL
) abc
; \
452 cd abc
&& $(MAKE
) DEP
= clean && git fetch
origin master
&& git checkout
$(ABCREV
); \
455 $(Q
) rm -f abc
/abc-
[0-9a-f
]*
456 $(Q
) cd abc
&& $(MAKE
) $(S
) $(ABCMKARGS
) PROG
="abc-$(ABCREV)$(EXE)" MSG_PREFIX
="$(eval P_OFFSET = 5)$(call P_SHOW)$(eval P_OFFSET = 10) ABC: "
458 ifeq ($(ABCREV
),default
)
459 .PHONY
: abc
/abc-
$(ABCREV
)$(EXE
)
462 yosys-abc
$(EXE
): abc
/abc-
$(ABCREV
)$(EXE
)
463 $(P
) cp abc
/abc-
$(ABCREV
)$(EXE
) yosys-abc
$(EXE
)
471 test: $(TARGETS
) $(EXTRA_TARGETS
)
472 +cd tests
/simple
&& bash run-test.sh
$(SEEDOPT
)
473 +cd tests
/hana
&& bash run-test.sh
$(SEEDOPT
)
474 +cd tests
/asicworld
&& bash run-test.sh
$(SEEDOPT
)
475 +cd tests
/realmath
&& bash run-test.sh
$(SEEDOPT
)
476 +cd tests
/share
&& bash run-test.sh
$(SEEDOPT
)
477 +cd tests
/fsm
&& bash run-test.sh
$(SEEDOPT
)
478 +cd tests
/techmap
&& bash run-test.sh
479 +cd tests
/memories
&& bash run-test.sh
$(SEEDOPT
)
480 +cd tests
/bram
&& bash run-test.sh
$(SEEDOPT
)
481 +cd tests
/various
&& bash run-test.sh
482 +cd tests
/sat
&& bash run-test.sh
484 @echo
" Passed \"make test\"."
487 VALGRIND ?
= valgrind
--error-exitcode
=1 --leak-check
=full
--show-reachable
=yes
--errors-for-leak-kinds
=all
489 vgtest
: $(TARGETS
) $(EXTRA_TARGETS
)
490 $(VALGRIND
) .
/yosys
-p
'setattr -mod -unset top; synth' $$( ls tests
/simple
/*.v | grep
-v repwhile.v
)
492 @echo
" Passed \"make vgtest\"."
495 vloghtb
: $(TARGETS
) $(EXTRA_TARGETS
)
496 +cd tests
/vloghtb
&& bash run-test.sh
498 @echo
" Passed \"make vloghtb\"."
502 unit-test
: libyosys.so
503 @
$(MAKE
) -C
$(UNITESTPATH
) CXX
="$(CXX)" CPPFLAGS
="$(CPPFLAGS)" \
504 CXXFLAGS
="$(CXXFLAGS)" LDLIBS
="$(LDLIBS)" ROOTPATH
="$(CURDIR)"
507 @
$(MAKE
) -C
$(UNITESTPATH
) clean
509 install: $(TARGETS
) $(EXTRA_TARGETS
)
510 $(INSTALL_SUDO
) mkdir
-p
$(DESTDIR
)$(BINDIR
)
511 $(INSTALL_SUDO
) cp
$(TARGETS
) $(DESTDIR
)$(BINDIR
)
512 ifneq ($(filter yosys
,$(TARGETS
)),)
513 $(INSTALL_SUDO
) $(STRIP
) -S
$(DESTDIR
)$(BINDIR
)/yosys
515 ifneq ($(filter yosys-abc
,$(TARGETS
)),)
516 $(INSTALL_SUDO
) $(STRIP
) $(DESTDIR
)$(BINDIR
)/yosys-abc
518 ifneq ($(filter yosys-filterlib
,$(TARGETS
)),)
519 $(INSTALL_SUDO
) $(STRIP
) $(DESTDIR
)$(BINDIR
)/yosys-filterlib
521 $(INSTALL_SUDO
) mkdir
-p
$(DESTDIR
)$(DATDIR
)
522 $(INSTALL_SUDO
) cp
-r share
/.
$(DESTDIR
)$(DATDIR
)/.
523 ifeq ($(ENABLE_LIBYOSYS
),1)
524 $(INSTALL_SUDO
) cp libyosys.so
$(DESTDIR
)$(LIBDIR
)
525 $(INSTALL_SUDO
) $(STRIP
) -S
$(DESTDIR
)$(LIBDIR
)/libyosys.so
526 $(INSTALL_SUDO
) ldconfig
530 $(INSTALL_SUDO
) rm -vf
$(addprefix $(DESTDIR
)$(BINDIR
)/,$(notdir $(TARGETS
)))
531 $(INSTALL_SUDO
) rm -rvf
$(DESTDIR
)$(DATDIR
)
532 ifeq ($(ENABLE_LIBYOSYS
),1)
533 $(INSTALL_SUDO
) rm -vf
$(DESTDIR
)$(LIBDIR
)/libyosys.so
536 update-manual
: $(TARGETS
) $(EXTRA_TARGETS
)
537 cd manual
&& ..
/yosys
-p
'help -write-tex-command-reference-manual'
539 manual
: $(TARGETS
) $(EXTRA_TARGETS
)
540 cd manual
&& bash appnotes.sh
541 cd manual
&& bash presentation.sh
542 cd manual
&& bash manual.sh
546 if
test -d manual
; then cd manual
&& sh
clean.sh
; fi
547 rm -f
$(OBJS
) $(GENFILES
) $(TARGETS
) $(EXTRA_TARGETS
) $(EXTRA_OBJS
)
548 rm -f kernel
/version_
*.o kernel
/version_
*.
cc abc
/abc-
[0-9a-f
]*
549 rm -f libs
/*/*.d frontends
/*/*.d passes
/*/*.d backends
/*/*.d kernel
/*.d techlibs
/*/*.d
550 rm -rf tests
/asicworld
/*.out tests
/asicworld
/*.log
551 rm -rf tests
/hana
/*.out tests
/hana
/*.log
552 rm -rf tests
/simple
/*.out tests
/simple
/*.log
553 rm -rf tests
/memories
/*.out tests
/memories
/*.log tests
/memories
/*.dmp
554 rm -rf tests
/sat
/*.log tests
/techmap
/*.log tests
/various
/*.log
555 rm -rf tests
/bram
/temp tests
/fsm
/temp tests
/realmath
/temp tests
/share
/temp tests
/smv
/temp
556 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_
*
557 rm -f tests
/tools
/cmp_tbdata
560 $(MAKE
) -C abc DEP
= clean
561 rm -f yosys-abc
$(EXE
) abc
/abc-
[0-9a-f
]*
567 { for file in
$(basename $(OBJS
)); do \
568 for
prefix in
cc y l
; do if
[ -f
$${file}.
$${prefix} ]; then echo
$$file.
$${prefix}; fi
; done \
569 done
; find backends frontends kernel libs passes
-type f \
( -name
'*.h' -o
-name
'*.hh' \
); } > qtcreator.files
570 { echo .
; find backends frontends kernel libs passes
-type f \
( -name
'*.h' -o
-name
'*.hh' \
) -printf
'%h\n' |
sort -u
; } > qtcreator.includes
571 touch qtcreator.config qtcreator.creator
573 vcxsrc
: $(GENFILES
) $(EXTRA_TARGETS
)
574 rm -rf yosys-win32-vcxsrc-
$(YOSYS_VER
){,.zip
}
575 set
-e
; for f in
`ls $(filter %.cc %.cpp,$(GENFILES)) $(addsuffix .cc,$(basename $(OBJS))) $(addsuffix .cpp,$(basename $(OBJS))) 2> /dev/null`; do \
576 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
577 bash misc
/create_vcxsrc.sh yosys-win32-vcxsrc
$(YOSYS_VER
) $(GIT_REV
)
578 echo
"namespace Yosys { extern const char *yosys_version_str; const char *yosys_version_str=\"Yosys (Version Information Unavailable)\"; }" > kernel
/version.
cc
579 zip yosys-win32-vcxsrc-
$(YOSYS_VER
)/genfiles.zip
$(GENFILES
) kernel
/version.
cc
580 zip
-r yosys-win32-vcxsrc-
$(YOSYS_VER
).zip yosys-win32-vcxsrc-
$(YOSYS_VER
)/
581 rm -f srcfiles.txt kernel
/version.
cc
584 mxebin
: $(TARGETS
) $(EXTRA_TARGETS
)
585 rm -rf yosys-win32-mxebin-
$(YOSYS_VER
){,.zip
}
586 mkdir
-p yosys-win32-mxebin-
$(YOSYS_VER
)
587 cp
-r yosys.exe share
/ yosys-win32-mxebin-
$(YOSYS_VER
)/
588 ifeq ($(ENABLE_ABC
),1)
589 cp
-r yosys-abc.exe abc
/lib
/x86
/pthreadVC2.dll yosys-win32-mxebin-
$(YOSYS_VER
)/
591 echo
-en
'This is Yosys $(YOSYS_VER) for Win32.\r\n' > yosys-win32-mxebin-
$(YOSYS_VER
)/readme.txt
592 echo
-en
'Documentation at http://www.clifford.at/yosys/.\r\n' >> yosys-win32-mxebin-
$(YOSYS_VER
)/readme.txt
593 zip
-r yosys-win32-mxebin-
$(YOSYS_VER
).zip yosys-win32-mxebin-
$(YOSYS_VER
)/
600 echo
'CONFIG := clang' > Makefile.conf
603 echo
'CONFIG := gcc' > Makefile.conf
605 config-gcc-4.8
: clean
606 echo
'CONFIG := gcc-4.8' > Makefile.conf
609 echo
'CONFIG := emcc' > Makefile.conf
610 echo
'ENABLE_TCL := 0' >> Makefile.conf
611 echo
'ENABLE_ABC := 0' >> Makefile.conf
612 echo
'ENABLE_PLUGINS := 0' >> Makefile.conf
613 echo
'ENABLE_READLINE := 0' >> Makefile.conf
616 echo
'CONFIG := mxe' > Makefile.conf
617 echo
'ENABLE_PLUGINS := 0' >> Makefile.conf
620 echo
'CONFIG := msys2' > Makefile.conf
623 echo
'CONFIG := gcc' > Makefile.conf
624 echo
'ENABLE_GPROF := 1' >> Makefile.conf
627 echo
"INSTALL_SUDO := sudo" >> Makefile.conf
636 -include frontends
/*/*.d
637 -include passes
/*/*.d
638 -include backends
/*/*.d
640 -include techlibs
/*/*.d
642 .PHONY
: all top-all abc
test install install-abc manual
clean mrproper qtcreator
643 .PHONY
: config-clean config-clang config-gcc config-gcc-4.8 config-gprof config-sudo