Rename safety_island to safety-island

This commit is contained in:
aottaviano 2023-03-24 01:04:25 +01:00
parent 511bd902af
commit 25c9422e3a
2 changed files with 5 additions and 9 deletions

View file

@ -1,7 +1,7 @@
#!/bin/bash -e
export PULPRT_TARGET=safety_island
export PULPRUN_TARGET=safety_island
export PULPRT_TARGET=safety-island
export PULPRUN_TARGET=safety-island
if [ -n "${ZSH_VERSION:-}" ]; then
DIR="$(readlink -f -- "${(%):-%x}")"

View file

@ -2,13 +2,9 @@
PULP_LDFLAGS +=
PULP_CFLAGS += -D__cv32e40p__ -U__riscv__ -UARCHI_CORE_HAS_PULPV2
PULP_ARCH_CFLAGS ?= -march=rv32imcxgap9
PULP_ARCH_OBJDFLAGS ?= -march=riscv32imcxgap9
PULP_ARCH_OBJDFLAGS ?= -Mmarch=rv32imcxgap9
# PULP_ARCH_CFLAGS ?= -march=rv32imc_zfinx_xcorev -mno-nohwloop
# PULP_ARCH_LDFLAGS ?= -march=rv32imc_zfinx_xcorev -mno-nohwloop
# PULP_ARCH_OBJDFLAGS ?=
PULP_ARCH_CFLAGS ?= -march=rv32imc_zfinx_xcorev -mabi=ilp32 -mno-pulp-hwloop
PULP_ARCH_LDFLAGS ?= -march=rv32imc_zfinx_xcorev -mabi=ilp32 -mno-pulp-hwloop
PULP_ARCH_OBJDFLAGS ?=
PULP_CFLAGS += -fdata-sections -ffunction-sections -include chips/safety-island/config.h -I$(PULPRT_HOME)/include/chips/safety-island
PULP_OMP_CFLAGS += -fopenmp -mnativeomp