update bender install dir

pulp-platform · Dec 20, 2023 · ded87cd · ded87cd
1 parent 4b494bf
commit ded87cd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/util/Makefrag b/util/Makefrag
@@ -3,6 +3,7 @@
 # SPDX-License-Identifier: Apache-2.0
 
 # Author: Matheus Cavalcante, ETH Zurich
+# Author: Mattia Sinigaglia, University of Bologna
 
 # Root
 SHELL = /usr/bin/env bash
@@ -19,7 +20,7 @@ BENDER_INSTALL_DIR    ?= ${INSTALL_DIR}/bender
 VERILATOR_INSTALL_DIR ?= ${INSTALL_DIR}/verilator
 
 # Support for local override
-BENDER ?= ${BENDER_INSTALL_DIR}/bin/bender
+BENDER ?= ${BENDER_INSTALL_DIR}/bender
 DASM   ?= ${SPIKE_INSTALL_DIR}/bin/spike-dasm
 VLT    ?= ${VERILATOR_INSTALL_DIR}/bin/verilator_bin
 CMAKE  ?= cmake-3.18.1