stv0g/yosys
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
1033 commits 1 branch 6 tags 8.6 MiB
Commit graph

74 commits

Author SHA1 Message Date
Siesh1oo
a8efb61e1f - Makefile: follow changes in https://github.com/cliffordwolf/yosys 2014-03-12 14:16:55 +01:00
Siesh1oo
e308091529 Merge branch 'master' of https://github.com/Siesh1oo/yosys 2014-03-12 14:01:10 +01:00
Siesh1oo
cfabaa1689 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'. 2014-03-12 14:00:40 +01:00
Siesh1oo
51bf1c871e - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here 2014-03-12 14:00:40 +01:00
Siesh1oo
94bc11f021 - 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.
 2014-03-12 14:00:40 +01:00
Siesh1oo
8f3fa09481 - Makefile: resolve merge conflict. 2014-03-12 14:00:40 +01:00
Clifford Wolf
3152863479 Fixed dependencies of "make test" 2014-03-12 10:46:27 +01:00
Clifford Wolf
94c1307c26 Added libs/minisat (copy of minisat git master) 2014-03-12 10:17:51 +01:00
Siesh1oo
59239f65dd - Makefile: don't add '-g' after '-ggdb' to CXXFLAGS 2014-03-11 22:00:49 +01:00
Clifford Wolf
7aa2d746b7 Merged addition of SED makefile variable from github.com/Siesh1oo/yosys 
(see https://github.com/cliffordwolf/yosys/pull/28)
 2014-03-11 14:42:58 +01:00
Siesh1oo
876c016904 - Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'. 2014-03-10 20:27:39 +01:00
Siesh1oo
113f129b34 - Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here 2014-03-10 20:12:20 +01:00
Siesh1oo
4d56e23e31 - 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.
 2014-03-10 20:06:46 +01:00
Siesh1oo
63ca8d3fe4 - Makefile, techlibs/common/Makefile.inc: call GNU sed instead of BSD sed on OSX (for extended regular expressions). 2014-03-10 15:07:37 +01:00
Siesh1oo
0fb044a58f - 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.
 2014-03-10 14:38:01 +01:00
Clifford Wolf
8d06f9f2fe Added "verific" command 2014-03-09 20:40:04 +01:00
Clifford Wolf
81b3f52519 Added tests/techmap/mem_simple_4x1 2014-02-21 12:06:40 +01:00
Clifford Wolf
b0ae19fa92 Now we are in Yoys 0.2.0+ development 2014-02-16 00:54:41 +01:00
Clifford Wolf
c05c3098f1 Tagging Yoys 0.2.0 2014-02-16 00:35:53 +01:00
Clifford Wolf
a123941618 Updated ABC 2014-02-13 18:56:36 +01:00
Clifford Wolf
7664f5d92b Updated ABC and some related changes 2014-02-13 08:07:08 +01:00
Clifford Wolf
ab71bd0746 Updated ABC to rev e97a6e1d59b9 2014-02-12 08:35:42 +01:00
Clifford Wolf
d2fd45949d More Makefile cleanups 2014-02-11 12:58:08 +01:00
Clifford Wolf
4bd2d47e45 Improved "make manual" and "make clean" 2014-02-11 12:55:58 +01:00
Clifford Wolf
669a6e462d Added checking for ABC modifications to Makefile and made sure we do not have the word ERROR in regular make output 2014-02-08 12:27:38 +01:00
Clifford Wolf
a170d114a5 Updated ABC to rev 10cc13a2a0f1 2014-02-06 22:18:17 +01:00
Clifford Wolf
7a66b38c3e Added test cases for sat command 2014-02-04 13:43:34 +01:00
Clifford Wolf
c46b23ab23 Updated ABC to hg rev e6b09e1 2014-01-29 10:50:15 +01:00
Clifford Wolf
fb4c3dff33 Added first presentation slides 2014-01-27 17:08:19 +01:00
Clifford Wolf
1cd975ef8d Updated ABC to hg rev 57517e81666b 2013-12-31 14:39:02 +01:00
Clifford Wolf
bb20aceeb3 More ABC releated Makefile changes 2013-12-04 08:31:52 +01:00
Clifford Wolf
637a12b7e3 Minor improvements in ABc build 2013-12-03 16:50:14 +01:00
Clifford Wolf
6dfb66d262 Started writing appnote 011 2013-11-28 13:48:38 +01:00
Clifford Wolf
1268182f0b Updated ABC to 9241719523f6 2013-11-28 00:43:17 +01:00
Clifford Wolf
18e52d81bf Merge branch 'master' of github.com:cliffordwolf/yosys 2013-11-27 09:08:42 +01:00
Clifford Wolf
38e7fa6530 Tighter integration of ABC build 2013-11-27 09:08:35 +01:00
Clifford Wolf
0256105ac2 Set version number to 0.1.0+ 2013-11-27 06:29:13 +01:00
Clifford Wolf
981677cf09 Fixed "make install" dependencies 2013-11-24 05:05:50 +01:00
Clifford Wolf
058ceda6a0 Added more performance measurement infrastructure 2013-11-22 14:08:10 +01:00
Clifford Wolf
7b01ba384f Improved make rules for profiling and debugging 2013-11-22 04:05:30 +01:00
Clifford Wolf
1c4a6411af Updated abc 2013-11-21 22:39:10 +01:00
Clifford Wolf
a1353ec61b Added "make config-sudo" 2013-11-19 23:13:41 +01:00
Clifford Wolf
7ea7342c18 Large improvements in yosys-config 2013-11-19 23:04:27 +01:00
Clifford Wolf
2df5cd87b2 Renamed ABCHGPULL to ABCPULL in Makefile 2013-11-16 15:17:32 +01:00
Clifford Wolf
f3345bd3b4 Improved building of yosys-abc 2013-11-13 15:49:42 +01:00
Clifford Wolf
2b5f4d1df3 Makefile DESTDIR default (/usr/local) without quotes 2013-11-04 21:30:57 +01:00
Martin Schmölzer
58cfce6c5a Allow setting of installation destination via DESTDIR variable in Makefile 
This is useful when packaging yosys, as some Linux distributions do not
allow the package management system to install files in /usr/local [1][2].

[1] https://wiki.archlinux.org/index.php/Arch_Packaging_Standards
[2] http://fedoraproject.org/wiki/Packaging:Guidelines

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
 2013-11-04 11:40:07 +01:00
Clifford Wolf
73e68fe323 Added API and Makefile rules for share/ files 2013-10-27 09:33:26 +01:00
Clifford Wolf
02efafa7f1 Pinned ABC revision to 0f9e5488ced3 2013-10-03 16:03:30 +02:00
Clifford Wolf
288ba9618a Moved common techlib files to techlibs/common 2013-09-15 11:52:57 +02:00