diff options
| author | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-12 15:58:29 +0100 |
|---|---|---|
| committer | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-12 18:35:41 +0100 |
| commit | 0d4b19bdc8ea4e60c1736d1afe92e8ece2757843 (patch) | |
| tree | 388c09707a2830011b755472df44766a6ccdafd3 /scripts/install_headers.sh | |
| parent | 9cb37d94c95238deb583620dd1360cc71f5238de (diff) | |
Fully working, installs toolchain into $SYSROOT
Diffstat (limited to 'scripts/install_headers.sh')
| -rwxr-xr-x | scripts/install_headers.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/install_headers.sh b/scripts/install_headers.sh new file mode 100755 index 0000000..ae0e560 --- /dev/null +++ b/scripts/install_headers.sh @@ -0,0 +1,14 @@ +#!/bin/sh + +SYSROOT="/opt/aleksa" +GCC_DIR=$(gcc --print-file-name=) + +if [ ! -d mykernel ]; then + git clone "https://github.com/aleksav013/mykernel" +fi + +rm -rf "$SYSROOT/usr/include" +mkdir -p "$SYSROOT/usr/include" +cp -r "$GCC_DIR"include/* "$SYSROOT/usr/include" +cp -r mykernel/src/include/* "$SYSROOT/usr/include" +cp "$SYSROOT/usr/include/stdint-gcc.h" "$SYSROOT/usr/include/stdint.h" |