yosys.git
10 years agofixed syntax error in dot file created by "show" command
Clifford Wolf [Sat, 10 May 2014 14:22:56 +0000 (16:22 +0200)]
fixed syntax error in dot file created by "show" command

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Fri, 9 May 2014 16:24:13 +0000 (18:24 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoUpdated ABC to 67c84cdd49e4
Clifford Wolf [Fri, 9 May 2014 16:23:21 +0000 (18:23 +0200)]
Updated ABC to 67c84cdd49e4

10 years agoProgress in presentation
Clifford Wolf [Tue, 6 May 2014 12:42:04 +0000 (14:42 +0200)]
Progress in presentation

10 years agoImproved ezsat stand-alone tests
Clifford Wolf [Tue, 6 May 2014 11:48:25 +0000 (13:48 +0200)]
Improved ezsat stand-alone tests

10 years agoworkaround for OpenBSD 'stdout' implementation
Clifford Wolf [Sat, 3 May 2014 10:55:56 +0000 (12:55 +0200)]
workaround for OpenBSD 'stdout' implementation

10 years agoworkaround for OpenBSD 'stdin' implementation
Clifford Wolf [Fri, 2 May 2014 11:22:26 +0000 (13:22 +0200)]
workaround for OpenBSD 'stdin' implementation

10 years agoMerge pull request #35 from bentley/dox
Clifford Wolf [Fri, 2 May 2014 11:18:43 +0000 (13:18 +0200)]
Merge pull request #35 from bentley/dox

Typos and grammar fixes through chapter 4.

10 years agoTypos and grammar fixes through chapter 4.
Anthony J. Bentley [Fri, 2 May 2014 09:08:40 +0000 (03:08 -0600)]
Typos and grammar fixes through chapter 4.

10 years agoFixed clang -Wdeprecated-register warnings
Clifford Wolf [Sun, 20 Apr 2014 12:28:23 +0000 (14:28 +0200)]
Fixed clang -Wdeprecated-register warnings

10 years agoReplaced depricated %name-prefix= bison directive
Clifford Wolf [Sun, 20 Apr 2014 12:22:11 +0000 (14:22 +0200)]
Replaced depricated %name-prefix= bison directive

10 years agominisat compile fix
Clifford Wolf [Sun, 20 Apr 2014 12:17:40 +0000 (14:17 +0200)]
minisat compile fix

10 years agoUpdated README
Clifford Wolf [Fri, 18 Apr 2014 08:19:46 +0000 (10:19 +0200)]
Updated README

10 years agoMerge pull request #33 from bentley/dox
Clifford Wolf [Fri, 11 Apr 2014 11:06:02 +0000 (13:06 +0200)]
Merge pull request #33 from bentley/dox

Typos and grammar fixes through chapter 2.

10 years agoTypos and grammar fixes through chapter 2.
Anthony J. Bentley [Fri, 11 Apr 2014 08:42:59 +0000 (02:42 -0600)]
Typos and grammar fixes through chapter 2.

10 years agoMerge pull request #31 from bentley/posix-rm
Clifford Wolf [Sat, 5 Apr 2014 00:56:28 +0000 (02:56 +0200)]
Merge pull request #31 from bentley/posix-rm

Remove non-POSIX 'rm -v'.

10 years agoPOSIX find requires a path argument.
Anthony J. Bentley [Fri, 4 Apr 2014 22:51:27 +0000 (16:51 -0600)]
POSIX find requires a path argument.

10 years agoRemove non-POSIX 'rm -v'.
Anthony J. Bentley [Fri, 4 Apr 2014 22:39:03 +0000 (16:39 -0600)]
Remove non-POSIX 'rm -v'.

10 years agoAdded SIMLIB_NOLUT to simlib.v
Clifford Wolf [Wed, 2 Apr 2014 19:28:33 +0000 (21:28 +0200)]
Added SIMLIB_NOLUT to simlib.v

10 years agoAdded SIMLIB_NOSR to simlib.v
Clifford Wolf [Wed, 2 Apr 2014 19:06:55 +0000 (21:06 +0200)]
Added SIMLIB_NOSR to simlib.v

10 years agoAdded support for dlatchsr cells
Clifford Wolf [Mon, 31 Mar 2014 12:14:40 +0000 (14:14 +0200)]
Added support for dlatchsr cells

10 years agoFixed mapping of Verific WIDE_DFFRS operator
Clifford Wolf [Thu, 20 Mar 2014 12:40:01 +0000 (13:40 +0100)]
Fixed mapping of Verific WIDE_DFFRS operator

10 years agoFixed mapping of Verific FADD primitive with unconnected outputs
Clifford Wolf [Thu, 20 Mar 2014 12:26:52 +0000 (13:26 +0100)]
Fixed mapping of Verific FADD primitive with unconnected outputs

10 years agoFixed performance problem in opt_mux with nets driven by many conflicting drivers
Clifford Wolf [Wed, 19 Mar 2014 09:05:01 +0000 (10:05 +0100)]
Fixed performance problem in opt_mux with nets driven by many conflicting drivers

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 13:42:07 +0000 (14:42 +0100)]
Progress in Verific bindings

10 years agoFixed typo in RTLIL::Module::addAdff()
Clifford Wolf [Mon, 17 Mar 2014 13:41:41 +0000 (14:41 +0100)]
Fixed typo in RTLIL::Module::addAdff()

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 01:43:53 +0000 (02:43 +0100)]
Progress in Verific bindings

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 00:56:00 +0000 (01:56 +0100)]
Progress in Verific bindings

10 years agoAdded support for memories to verific bindings
Clifford Wolf [Sun, 16 Mar 2014 16:05:05 +0000 (17:05 +0100)]
Added support for memories to verific bindings

10 years agoUse Verific Net::{IsGnd,IsPwr} API in Verific bindings
Clifford Wolf [Sun, 16 Mar 2014 15:06:03 +0000 (16:06 +0100)]
Use Verific Net::{IsGnd,IsPwr} API in Verific bindings

10 years agoFixed typo in RTLIL::Module::{addSshl,addSshr}
Clifford Wolf [Sat, 15 Mar 2014 21:52:10 +0000 (22:52 +0100)]
Fixed typo in RTLIL::Module::{addSshl,addSshr}

10 years agoProgress in Verific bindings
Clifford Wolf [Sat, 15 Mar 2014 21:51:12 +0000 (22:51 +0100)]
Progress in Verific bindings

10 years agoProgress in Verific bindings
Clifford Wolf [Sat, 15 Mar 2014 14:31:54 +0000 (15:31 +0100)]
Progress in Verific bindings

10 years agoProgress in Verific bindings
Clifford Wolf [Sat, 15 Mar 2014 13:36:11 +0000 (14:36 +0100)]
Progress in Verific bindings

10 years agoAdded RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API
Clifford Wolf [Sat, 15 Mar 2014 13:35:29 +0000 (14:35 +0100)]
Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API

10 years agoProgress in Verific bindings
Clifford Wolf [Fri, 14 Mar 2014 15:40:25 +0000 (16:40 +0100)]
Progress in Verific bindings

10 years agoAdded log_dump() support for generic pointers
Clifford Wolf [Fri, 14 Mar 2014 15:39:50 +0000 (16:39 +0100)]
Added log_dump() support for generic pointers

10 years agoProgress in Verific bindings
Clifford Wolf [Fri, 14 Mar 2014 10:46:13 +0000 (11:46 +0100)]
Progress in Verific bindings

10 years agoAdded RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API
Clifford Wolf [Fri, 14 Mar 2014 10:45:44 +0000 (11:45 +0100)]
Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API

10 years agoProgress in Verific bindings
Clifford Wolf [Thu, 13 Mar 2014 17:21:00 +0000 (18:21 +0100)]
Progress in Verific bindings

10 years agoCopy Verific vdbs files to Yosys "share" data directory
Clifford Wolf [Thu, 13 Mar 2014 16:34:31 +0000 (17:34 +0100)]
Copy Verific vdbs files to Yosys "share" data directory

10 years agoSmall improvement in SAT log messages
Clifford Wolf [Thu, 13 Mar 2014 12:12:49 +0000 (13:12 +0100)]
Small improvement in SAT log messages

10 years agoAdded test_navre.ys for verific frontend
Clifford Wolf [Thu, 13 Mar 2014 12:12:06 +0000 (13:12 +0100)]
Added test_navre.ys for verific frontend

10 years agoHotfix for kernel/compatibility.h
Clifford Wolf [Thu, 13 Mar 2014 11:55:15 +0000 (12:55 +0100)]
Hotfix for kernel/compatibility.h

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Clifford Wolf [Thu, 13 Mar 2014 11:50:34 +0000 (12:50 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

10 years agoMerged OSX fixes from Siesh1oo with some modifications
Clifford Wolf [Thu, 13 Mar 2014 11:48:10 +0000 (12:48 +0100)]
Merged OSX fixes from Siesh1oo with some modifications

10 years ago - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compati...
Siesh1oo [Thu, 13 Mar 2014 10:34:21 +0000 (11:34 +0100)]
 - Makefile, kernel/posix_compatibility.h/.cc: replay isolated OSX/POSIX.2008 compatibility patch.

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Siesh1oo [Thu, 13 Mar 2014 10:30:50 +0000 (11:30 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

Conflicts:
Makefile
libs/minisat/System.cc

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - 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.

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo [Wed, 12 Mar 2014 13:18:07 +0000 (14:18 +0100)]
 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - 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.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoSome fixes in libs/minisat (thanks to Siesh1oo)
Clifford Wolf [Wed, 12 Mar 2014 22:28:10 +0000 (23:28 +0100)]
Some fixes in libs/minisat (thanks to Siesh1oo)

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.

10 years ago - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_n...
Siesh1oo [Wed, 12 Mar 2014 17:33:37 +0000 (18:33 +0100)]
 - kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname().
        This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems.
 - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.
 - Makefile: no need to add $(PWD) to $(PATH) anymore.

10 years ago - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link...
Siesh1oo [Wed, 12 Mar 2014 13:42:26 +0000 (14:42 +0100)]
 - Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we link minisat objects instead of library

10 years ago - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo [Wed, 12 Mar 2014 13:18:07 +0000 (14:18 +0100)]
 - .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app

10 years ago - Makefile: follow changes in https://github.com/cliffordwolf/yosys
Siesh1oo [Wed, 12 Mar 2014 13:16:55 +0000 (14:16 +0100)]
 - Makefile: follow changes in https://github.com/cliffordwolf/yosys

10 years ago - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise...
Siesh1oo [Wed, 12 Mar 2014 13:15:53 +0000 (14:15 +0100)]
 - libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13).

10 years ago - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPe...
Siesh1oo [Wed, 12 Mar 2014 13:12:52 +0000 (14:12 +0100)]
 - libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)

10 years agoMerge branch 'master' of https://github.com/Siesh1oo/yosys
Siesh1oo [Wed, 12 Mar 2014 13:01:10 +0000 (14:01 +0100)]
Merge branch 'master' of https://github.com/Siesh1oo/yosys

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - 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.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoFixed dependencies of "make test"
Clifford Wolf [Wed, 12 Mar 2014 09:46:27 +0000 (10:46 +0100)]
Fixed dependencies of "make test"

10 years agoAdded libs/minisat (copy of minisat git master)
Clifford Wolf [Wed, 12 Mar 2014 09:17:51 +0000 (10:17 +0100)]
Added libs/minisat (copy of minisat git master)

10 years ago - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS
Siesh1oo [Tue, 11 Mar 2014 21:00:49 +0000 (22:00 +0100)]
 - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS

10 years agoRebase to cliffordwolf repo HEAD finished.
Siesh1oo [Tue, 11 Mar 2014 18:44:34 +0000 (19:44 +0100)]
Rebase to cliffordwolf repo HEAD finished.

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - 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.

10 years ago - Makefile: resolve merge conflict.
Siesh1oo [Tue, 11 Mar 2014 18:39:01 +0000 (19:39 +0100)]
 - Makefile: resolve merge conflict.

10 years agoOSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:52:37 +0000 (14:52 +0100)]
OSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoMerged addition of SED makefile variable from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:42:58 +0000 (14:42 +0100)]
Merged addition of SED makefile variable from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoMerged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
Clifford Wolf [Tue, 11 Mar 2014 13:24:24 +0000 (14:24 +0100)]
Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
(see https://github.com/cliffordwolf/yosys/pull/28)

10 years agoAdded support for `line compiler directive
Clifford Wolf [Tue, 11 Mar 2014 13:06:57 +0000 (14:06 +0100)]
Added support for `line compiler directive

10 years ago - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead...
Siesh1oo [Tue, 11 Mar 2014 13:06:41 +0000 (14:06 +0100)]
 - passes/techmap/Makefile.inc: POSIX 'od' has no '-w' option. Use '-An' instead. Replace awk by simple shell commands for portability.

10 years agoFixed memory corruption in passes/abc/blifparse.cc
Clifford Wolf [Tue, 11 Mar 2014 12:09:01 +0000 (13:09 +0100)]
Fixed memory corruption in passes/abc/blifparse.cc

10 years agoFixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh
Clifford Wolf [Tue, 11 Mar 2014 10:59:58 +0000 (11:59 +0100)]
Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh

10 years agoUse "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)
Clifford Wolf [Tue, 11 Mar 2014 10:39:30 +0000 (11:39 +0100)]
Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)

10 years ago - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.
Siesh1oo [Mon, 10 Mar 2014 19:27:39 +0000 (20:27 +0100)]
 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.

10 years ago - libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RES...
Siesh1oo [Mon, 10 Mar 2014 19:23:55 +0000 (20:23 +0100)]
 - 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.

10 years ago - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo [Mon, 10 Mar 2014 19:12:20 +0000 (20:12 +0100)]
 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here

10 years ago - Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to make...
Siesh1oo [Mon, 10 Mar 2014 19:06:46 +0000 (20:06 +0100)]
 - 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.

10 years ago - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climits>...
Siesh1oo [Mon, 10 Mar 2014 18:50:02 +0000 (19:50 +0100)]
 - frontends/vhdl2verilog/vhdl2verilog.cc, passes/abc/abc.cc: #include <climits> for PATH_MAX.

10 years ago - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX...
Siesh1oo [Mon, 10 Mar 2014 14:07:37 +0000 (15:07 +0100)]
 - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX (for extended regular expressions).

10 years ago - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().
Siesh1oo [Mon, 10 Mar 2014 14:02:58 +0000 (15:02 +0100)]
 - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction() instead on non-portable signal().

10 years ago - Makefile, kernel/posix_compatibility.h/.cc: provide POSIX.2008 fake implementation...
Siesh1oo [Mon, 10 Mar 2014 13:38:01 +0000 (14:38 +0100)]
 - 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.

10 years ago - README: fix typo in sed-command for minisat-include fix.
Siesh1oo [Mon, 10 Mar 2014 13:37:14 +0000 (14:37 +0100)]
 - README: fix typo in sed-command for minisat-include fix.

10 years ago - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use POSIX...
Siesh1oo [Mon, 10 Mar 2014 13:36:27 +0000 (14:36 +0100)]
 - frontends/vhdl2verilog/vhdl2verilog.cc: #include <cerrno> for errno; use POSIX getcwd() for portability.

10 years ago - kernel/register.cc: need to #include <cerrno> or errno.h for errno.
Siesh1oo [Mon, 10 Mar 2014 13:36:23 +0000 (14:36 +0100)]
 - kernel/register.cc: need to #include <cerrno> or errno.h for errno.

10 years ago - kernel/driver.cc: need to #include <cerrno> or errno.h for errno.
Siesh1oo [Mon, 10 Mar 2014 13:36:12 +0000 (14:36 +0100)]
 - kernel/driver.cc: need to #include <cerrno> or errno.h for errno.