3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-04-28 23:03:39 +00:00

- 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.
This commit is contained in:
Siesh1oo 2014-03-10 14:38:01 +01:00
parent 9327d434d5
commit 0fb044a58f
4 changed files with 211 additions and 10 deletions

1
.gitignore vendored
View file

@ -9,6 +9,7 @@
/qtcreator.creator
/qtcreator.creator.user
/Makefile.conf
/minisat
/abc
/yosys
/yosys-abc