Skip to content

Commit d0d0730

Browse files
authored
Merge pull request #1283 from TommyMurphyTM1234/master
Fix #1282
2 parents e1dbc22 + 67ab088 commit d0d0730

File tree

2 files changed

+4
-3
lines changed

2 files changed

+4
-3
lines changed

Makefile.in

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -871,7 +871,7 @@ stamps/build-pk32: $(PK_SRCDIR) $(PK_SRC_GIT) stamps/build-gcc-newlib-stage2
871871
cd $(notdir $@) && $</configure \
872872
--prefix=$(INSTALL_DIR) \
873873
--host=$(NEWLIB_TUPLE) \
874-
--with-arch=rv32imafdc \
874+
--with-arch=rv32gc \
875875
--with-abi=ilp32f
876876
$(MAKE) -C $(notdir $@)
877877
cp $(notdir $@)/pk $(INSTALL_DIR)/$(NEWLIB_TUPLE)/bin/pk32
@@ -884,7 +884,8 @@ stamps/build-pk64: $(PK_SRCDIR) $(PK_SRC_GIT) stamps/build-gcc-newlib-stage2
884884
cd $(notdir $@) && $</configure \
885885
--prefix=$(INSTALL_DIR) \
886886
--host=$(NEWLIB_TUPLE) \
887-
--with-arch=rv64gc
887+
--with-arch=rv64gc \
888+
--with-abi=lp64d
888889
$(MAKE) -C $(notdir $@)
889890
cp $(notdir $@)/pk $(INSTALL_DIR)/$(NEWLIB_TUPLE)/bin/pk64
890891
mkdir -p $(dir $@)

spike

Submodule spike updated 553 files

0 commit comments

Comments
 (0)