Siesh1oo 
								
							 
						 
						
							
							
							
							
								
							
							
								c17ee0f6dd 
								
							 
						 
						
							
							
								
								- Makefile: include $(PWD) in PATH, since 'make test' can happen before 'make install'.  
							
							
							
						 
						
							2014-03-11 19:43:59 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Siesh1oo 
								
							 
						 
						
							
							
							
							
								
							
							
								4d56fbc150 
								
							 
						 
						
							
							
								
								- Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here  
							
							
							
						 
						
							2014-03-11 19:43:59 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Siesh1oo 
								
							 
						 
						
							
							
							
							
								
							
							
								4958559456 
								
							 
						 
						
							
							
								
								- 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-11 19:43:59 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Siesh1oo 
								
							 
						 
						
							
							
							
							
								
							
							
								59d68e1582 
								
							 
						 
						
							
							
								
								- Makefile: resolve merge conflict.  
							
							
							
						 
						
							2014-03-11 19:43:59 +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 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									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 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								e3aa0514f2 
								
							 
						 
						
							
							
								
								Added cleaning of old version_* files to version_* make rule  
							
							
							
						 
						
							2013-08-20 10:13:43 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								485e870bcd 
								
							 
						 
						
							
							
								
								Added version info to yosys command and added -V option  
							
							
							
						 
						
							2013-08-20 09:48:12 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								1af1cebb64 
								
							 
						 
						
							
							
								
								Minor fixes in abc build instructions and abc pass  
							
							
							
						 
						
							2013-08-20 09:46:05 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								d815f1c770 
								
							 
						 
						
							
							
								
								Fixed "make clean" for manual files  
							
							
							
						 
						
							2013-07-23 14:19:47 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								61ed6b32d1 
								
							 
						 
						
							
							
								
								Added Yosys Manual  
							
							
							
						 
						
							2013-07-20 15:19:12 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								3b294b3912 
								
							 
						 
						
							
							
								
								Added QMAKE makefile variable  
							
							
							
						 
						
							2013-07-03 23:54:43 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								6c8a424872 
								
							 
						 
						
							
							
								
								Added "make abc" and "make install-abc"  
							
							
							
						 
						
							2013-06-08 23:48:19 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								5a592b3739 
								
							 
						 
						
							
							
								
								Moved cmds from kernel/ to passes/cmds/  
							
							
							
						 
						
							2013-06-08 23:16:36 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								3371563f2f 
								
							 
						 
						
							
							
								
								Added ezSAT library  
							
							
							
						 
						
							2013-06-07 10:38:35 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								d60fbaf664 
								
							 
						 
						
							
							
								
								Added EXTRA_TARGETS Makefile variable  
							
							
							
						 
						
							2013-03-28 16:53:40 +01:00