From 9ff3083b096e801721916a5c22f0fc6132286e1d Mon Sep 17 00:00:00 2001 From: Kito Cheng Date: Fri, 19 Feb 2021 16:06:24 +0800 Subject: Hack for pk and spike --- Makefile.in | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index f9fab38..37da471 100644 --- a/Makefile.in +++ b/Makefile.in @@ -782,7 +782,8 @@ stamps/build-spike: spike-src rm -rf $@ $(notdir $@) mkdir $(notdir $@) cd $(notdir $@) && ../$ $@ @@ -807,7 +808,7 @@ stamps/build-pk64: pk-src stamps/build-gcc-newlib-stage2 --prefix=$(INSTALL_DIR) \ --host=$(NEWLIB_TUPLE) \ --with-arch=rv64gc - $(MAKE) -C $(notdir $@) + $(MAKE) -C $(notdir $@) CC="$(NEWLIB_TUPLE)-gcc -D'__clear_cache(a,b)='" cp $(notdir $@)/pk $(INSTALL_DIR)/$(NEWLIB_TUPLE)/bin/pk64 mkdir -p $(dir $@) date > $@ -- cgit v1.1