Skip to content

Commit

Permalink
Merge pull request #1283 from TommyMurphyTM1234/master
Browse files Browse the repository at this point in the history
Fix #1282
  • Loading branch information
kito-cheng authored Jul 6, 2023
2 parents e1dbc22 + 67ab088 commit d0d0730
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
5 changes: 3 additions & 2 deletions Makefile.in
Original file line number Diff line number Diff line change
Expand Up @@ -871,7 +871,7 @@ stamps/build-pk32: $(PK_SRCDIR) $(PK_SRC_GIT) stamps/build-gcc-newlib-stage2
cd $(notdir $@) && $</configure \
--prefix=$(INSTALL_DIR) \
--host=$(NEWLIB_TUPLE) \
--with-arch=rv32imafdc \
--with-arch=rv32gc \
--with-abi=ilp32f
$(MAKE) -C $(notdir $@)
cp $(notdir $@)/pk $(INSTALL_DIR)/$(NEWLIB_TUPLE)/bin/pk32
Expand All @@ -884,7 +884,8 @@ stamps/build-pk64: $(PK_SRCDIR) $(PK_SRC_GIT) stamps/build-gcc-newlib-stage2
cd $(notdir $@) && $</configure \
--prefix=$(INSTALL_DIR) \
--host=$(NEWLIB_TUPLE) \
--with-arch=rv64gc
--with-arch=rv64gc \
--with-abi=lp64d
$(MAKE) -C $(notdir $@)
cp $(notdir $@)/pk $(INSTALL_DIR)/$(NEWLIB_TUPLE)/bin/pk64
mkdir -p $(dir $@)
Expand Down
2 changes: 1 addition & 1 deletion spike
Submodule spike updated 553 files

0 comments on commit d0d0730

Please sign in to comment.