- passes/techmap/dfflibmap.cc, passes/fsm/fsm_recode.cc, passes/cmds/select.cc: #include <cerrno> for errno, use c++-style includes.
 - passes/abc/abc.cc: #include <cerrno> for errno; use POSIX getcwd() for portability (get_current_dir_name() does not exist on BSD).
 - libs/ezsat/ezsat.cc: need to #include <cmath> or math.h for math functions.
 - kernel/log.h: add rusage()-based fallback for systems without clock_gettime().
 - kernel/driver.cc: need to #include <cerrno> or errno.h for errno.
 - kernel/register.cc: need to #include <cerrno> or errno.h for errno.
 - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use POSIX getcwd() for portability.
 - README: fix typo in sed-command for minisat-include fix.
 - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation of open_memstream()/fmemopen() for pre-POSIX.2008 systems.
 - Makefile: OSX build rules (Apple's gcc and clang have no -rdynamic option and no librt).
 - Makefile: Generate debugger symbols and don't optimize for size in debug target (otherwise the debugger pretty hard to use).
 - Makefile: Reorder target concatenation in order to avoid use-before-built problems for source-include and linker dependencies.
 - Makefile: On OSX/macports, qmake-qt4 is named 'qmake' (the default Qt4 installation name, unless the distribution changes it).
 - Makefile: For OSX/Macports, we need to pass -I/opt/local/include and -L/opt/local/lib to give GNU libraries precedence over Apple's.
 - Makefile: Build a local minisat copy just like abc (to avoid dependency on broken/unmaintained distribution header files).
 - .gitignore: Ignore minisat directory.
 - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().
 - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX (for extended regular expressions).
 - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climits> for PATH_MAX.
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
 - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RESTART flag for improved robustness of code that is not signal-aware.
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
 - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead. Replace awk by simple shell commands for portability.
 - Makefile: resolve merge conflict.
 - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make sure our local copies of built executables and libraries are used.
 - Makefile: use find expression in target 'yosys-svgviewer' to find svgviewer binary (qmake will build into .app package on OSX).
 - Makefile: make 'test' target dependent on $(TARGETS) and $(EXTRA_TARGETS) to make sure that minisat is built.
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here