aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* fix for check targetMiodrag Milanovic2021-12-271-1/+1
|
* Enable the use of 64-bit riscv toolsTommy Thorn2020-06-031-5/+5
| | | | | | | | | Many Linux distributions now include the tools for RISC-V (for example Ubuntu 20.04 has gcc-riscv64-unknown-elf) but in order for make TOOLCHAIN_PREFIX=riscv64-unknown-elf- to work we need to be explicit about compiling for 32-bit.
* Make Makefile more flexibleLarry Doolittle2020-04-271-18/+26
| | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com>
* Improve test firmware, increase testbench memory size to 128kBClifford Wolf2019-09-121-2/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add Verilator version infosClifford Wolf2019-03-191-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Remove riscv-dejagnu from "make build-tools"Clifford Wolf2019-03-021-3/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Remove riscv-qemu from "make build-tools"Clifford Wolf2019-03-021-3/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update riscv-gnu-toolchain to 411d134Clifford Wolf2019-02-191-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix chown call in Makefile (for building tools)Clifford Wolf2018-08-261-2/+2
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update riscv-gnu-toolchainClifford Wolf2018-08-141-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update riscv-gnu-toolchain to cb6b34bClifford Wolf2018-06-291-3/+6
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fix "make testbench_verilator" bugClifford Wolf2018-05-251-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve testbench_verilatorClifford Wolf2018-05-251-3/+5
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "make test_verilator"Clifford Wolf2018-05-251-0/+8
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update riscv-gnu-toolchain to 1b80cbeClifford Wolf2018-04-031-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Update riscv-gnu-toolchain to bf5697aClifford Wolf2017-11-191-1/+1
|
* Update riscv-gnu-toolchain to git rev e9f5458Clifford Wolf2017-10-191-1/+1
|
* Add "make test_rvf"Clifford Wolf2017-09-131-13/+20
|
* Add testbench_ezClifford Wolf2017-07-271-2/+12
|
* Add RVFI to AXI and WB wrappers modules, Add RVFI monitor support to test benchClifford Wolf2017-05-271-3/+3
|
* Update riscv-gnu-toolchain to git rev 4e51f26Clifford Wolf2017-05-051-1/+1
|
* Update riscv-gnu-toolchain to git rev 0c8f87dClifford Wolf2017-04-071-2/+2
|
* Add GIT_ENV Makefile variable (for things like http proxy settings)Clifford Wolf2017-03-151-2/+5
|
* Makefile: use automatic variables in testbench rulesAntony Pavlov2017-03-151-10/+10
| | | | Signed-off-by: Antony Pavlov <antonynpavlov@gmail.com>
* WIP: add WISHBONE testbenchAntony Pavlov2017-03-141-3/+13
| | | | Signed-off-by: Antony Pavlov <antonynpavlov@gmail.com>
* Rename "testbench_vcd" make target to "test_vcd", remove "view"Clifford Wolf2017-03-121-5/+2
|
* Rename "make testbench.vcd" to "make testbench_vcd" so VCD file is not ↵Clifford Wolf2017-02-211-2/+2
| | | | removed on Ctrl-C
* Update riscv-gnu-toolchain to git rev 914224eClifford Wolf2017-01-131-2/+1
|
* Some build fixes for new riscv-gnu-toolchainClifford Wolf2016-12-171-4/+4
|
* Improved "git cherry-pick" for riscv-binutils-gdb a5971eca338Clifford Wolf2016-12-171-1/+1
|
* Updated riscv-gnu-toolchain to git rev 34e199d + riscv-binutils-gdb commit ↵Clifford Wolf2016-12-171-1/+2
| | | | a5971eca338
* Updated riscv-gnu-toolchain to git rev e3e50c5Clifford Wolf2016-12-151-5/+5
|
* Merge branch 'master' into riscv-gnu-toolchain-updateClifford Wolf2016-12-151-1/+1
|\
| * Suppress iverilog warnings re parameters in "make test_synth"Clifford Wolf2016-12-151-1/+1
| |
* | Minor changes and build fixes for new riscv-gnu-toolchainClifford Wolf2016-12-101-1/+1
| |
* | Added RISCV_GNU_TOOLCHAIN_INSTALL_PREFIX Makefile variableClifford Wolf2016-12-091-13/+14
| |
* | Updated riscv-gnu-toolchainClifford Wolf2016-12-081-6/+5
|/
* Added RISC-V Formal Interfcae (RVFI)Clifford Wolf2016-11-231-2/+2
|
* Added more asserts for the memory interfaceClifford Wolf2016-09-131-1/+1
|
* Using assertpmux in "make check"Clifford Wolf2016-09-071-1/+2
|
* Added generic "make check-<solver>" ruleClifford Wolf2016-09-031-7/+5
|
* Using new yosys write_smt2 cmdlineClifford Wolf2016-08-301-1/+1
|
* Added more asserts to picorv32, more smtbmc examplesClifford Wolf2016-08-291-4/+8
|
* Finalized tracer supportClifford Wolf2016-08-261-1/+1
|
* Added tracer support (under construction)Clifford Wolf2016-08-251-2/+2
|
* Fixed "make check" for new yosys-smtbmc cmdlineClifford Wolf2016-08-201-2/+2
|
* Updated riscv-gnu-toolchain to git rev 7e48594Clifford Wolf2016-08-171-10/+22
|
* Updated riscv-gnu-toolchain version to git rev 13f52d2 (2016-05-31)Clifford Wolf2016-05-311-6/+6
|
* Updated riscv-gnu-toolchain to 34db4e0 (now using gcc 6.1.0)Clifford Wolf2016-05-051-2/+2
|
* Using .vvp instead of .exe for iverilog executablesClifford Wolf2016-05-041-19/+19
|
generated by cgit (git 2.34.1) at 2024-05-20 02:30:05 +0000