aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* Fix TravisClifford Wolf2019-02-221-1/+1
| | | | | | | It looks like that whole "Fixing Travis's git clone" code was just there to make the "git describe --tags" work. I simply removed both. Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update Verific default pathClifford Wolf2019-01-041-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #704 from webhat/feature/fix-awkClifford Wolf2018-12-161-2/+3
|\ | | | | Using awk rather than gawk
| * Using awk rather than gawkDaniël W. Crompton2018-11-191-2/+3
| |
* | Verific updatesClifford Wolf2018-12-061-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | opt_lut: new pass, to combine LUTs for tighter packing.whitequark2018-12-051-1/+2
|/
* Update ABC to git rev 2ddc57dClifford Wolf2018-11-131-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update ABC to git rev 68da3cfClifford Wolf2018-11-111-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #696 from arjenroodselaar/verific_darwinClifford Wolf2018-11-091-0/+4
|\ | | | | Use appropriate static libraries when building with Verific on MacOS
| * Use appropriate static libraries when building with Verific on MacOSArjen Roodselaar2018-11-071-0/+4
| |
* | Fix "make ystests" to use correct Yosys binaryClifford Wolf2018-11-081-1/+1
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update ABC rev to 4d56acfClifford Wolf2018-11-061-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Basic test for checking correct synthesis of SystemVerilog interfacesRuben Undheim2018-10-181-0/+2
|
* Update ABC to git rev 14d985aClifford Wolf2018-10-181-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update ABC to git rev c5b48bbClifford Wolf2018-10-171-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* After release is before releaseClifford Wolf2018-10-161-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Yosys 0.8Clifford Wolf2018-10-161-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix Cygwin build and document needed packagesMiodrag Milanovic2018-09-191-0/+9
|
* Add "make ystests"Clifford Wolf2018-08-301-0/+8
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "make coverage"Clifford Wolf2018-08-271-1/+7
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add ENABLE_GCOV build optionClifford Wolf2018-08-271-0/+11
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* static link flag on main executableMiodrag Milanovic2018-08-251-1/+1
|
* no -fPIC for any static buildMiodrag Milanovic2018-08-181-3/+1
|
* respect DISABLE_ABC_THREADS if usedMiodrag Milanovic2018-08-181-2/+5
|
* Enable propagating ARCHFLAGSMiodrag Milanovic2018-08-181-2/+2
|
* Added option to disable -fPIC on unsupported platformsMiodrag Milanovic2018-08-181-0/+3
|
* Added gcc-static for easier cross compilationMiodrag Milanovic2018-08-181-1/+15
|
* Changes for MXE configuration in order to compileMiodrag Milanovic2018-08-151-4/+4
|
* Merge pull request #573 from cr1901/msys-64Clifford Wolf2018-08-151-2/+17
|\ | | | | Add support for 64-bit builds using msys2 environment, use msys-provided `libpthread`.
| * Add support for 64-bit builds using msys2 environment.William D. Jones2018-06-271-1/+16
| |
| * Use msys2-provided pthreads instead of abc's.William D. Jones2018-06-271-1/+1
| |
* | Upodate ABC to git rev ae6716bClifford Wolf2018-07-221-1/+1
| | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Add missing -lz to MXE buildClifford Wolf2018-07-221-1/+1
|/ | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add Protobuf backendSerge Bazanski2018-06-191-0/+5
| | | | Signed-off-by: Serge Bazanski <q3k@symbioticeda.com>
* Update ABC to git rev 6df1396Clifford Wolf2018-05-301-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Force abc to align memory to 8 bytesRobert Ou2018-05-181-1/+1
| | | | | | | | | | Apparently abc has a memory pool implementation that by default returns memory that is unaligned. There is a workaround in the abc makefile that uses uname to look for "arm" specifically and then sets the alignment. However, ARM is not the only platform that requires proper alignment (e.g. emscripten does too). For now, pessimistically force the alignment for 8 bytes all the time (somehow 4 wasn't enough for fixing emscripten despite being approximately a 32-bit platform).
* Force abc to be linked statically and without threads in emscriptenRobert Ou2018-05-181-0/+5
|
* Add options to disable abc's usage of pthreads and readlineRobert Ou2018-05-181-0/+10
|
* Add an option to statically link abc into yosysRobert Ou2018-05-181-4/+18
| | | | This is currently incomplete because the output filter no longer works.
* Makefile: Make abc always use stdint.hRobert Ou2018-05-181-4/+8
|
* Use $(OS) in makefile to check for DarwinClifford Wolf2018-05-131-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Enable building on FreeBSDJohnny Sorocil2018-05-061-1/+17
|
* Update ABC to git rev f23ea8eClifford Wolf2018-04-301-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve Makefile error handling for when abc/ is a hg working copyClifford Wolf2018-04-121-0/+3
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix build for new ABC location on github, also update ABC to a2d59beClifford Wolf2018-03-271-6/+6
|
* Use Verific hier_tree component for elaborationClifford Wolf2018-03-081-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add -lz for verific buildsClifford Wolf2018-02-271-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve msys2 flags for building abc.William D. Jones2018-02-191-3/+3
|
* Fixed yosys-config for binary distributions with VerificClifford Wolf2018-02-131-3/+11
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Do not create deep backtraces unless in ENABLE_DEBUG modeClifford Wolf2018-02-031-2/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 16:41:13 +0000