From 66eb61d07cc5e09b71727ab4d960de81955ee810 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Tue, 13 Aug 2024 12:54:43 +0200
Subject: [PATCH] feat: remove kernel library and headers from dist
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 toolchain.sh | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/toolchain.sh b/toolchain.sh
index c1e9f84..841d9cd 100755
--- a/toolchain.sh
+++ b/toolchain.sh
@@ -35,10 +35,6 @@ if [ ! -d "gcc" ]; then
 git clone $CLONE_DEPTH https://github.com/hermit-os/gcc.git
 fi
 
-if [ ! -d "hermit" ]; then
-git clone --recursive -b master https://github.com/hermit-os/hermit-playground hermit
-fi
-
 if [ ! -d "kernel" ]; then
 git clone https://github.com/hermit-os/kernel
 fi
@@ -97,15 +93,13 @@ make install-gcc
 cd -
 fi
 
-cp -r hermit/include $PREFIX/x86_64-hermit
-
 cd kernel
 cargo xtask build \
     --arch x86_64 \
     --release \
     --no-default-features \
     --features pci,smp,acpi,newlib,tcp,dhcpv4
-cp target/x86_64/release/libhermit.a $PREFIX/x86_64-hermit/lib
+export LDFLAGS_FOR_TARGET="-L$PWD/target/x86_64/release -lhermit"
 cd -
 
 if [ ! -d "tmp/newlib" ]; then