diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 14:38:01 +0100 |
|---|---|---|
| committer | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 14:38:01 +0100 |
| commit | 0fb044a58f7cc66364af3a0a53c8b5089e0149ad (patch) | |
| tree | b5b7ab5ced1a1d682285ebfd3e5a82786144d0b6 /.gitignore | |
| parent | 9327d434d522f888609e5f4a42a6e06f01864e79 (diff) | |
| download | yosys-0fb044a58f7cc66364af3a0a53c8b5089e0149ad.tar.gz yosys-0fb044a58f7cc66364af3a0a53c8b5089e0149ad.tar.bz2 yosys-0fb044a58f7cc66364af3a0a53c8b5089e0149ad.zip | |
- 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.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f251d2b6d..77d6e29e5 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ /qtcreator.creator /qtcreator.creator.user /Makefile.conf +/minisat /abc /yosys /yosys-abc |