removing unnecessary files

This commit is contained in:
benbierens 2024-05-09 11:58:18 +02:00
parent f438417e72
commit 90f998333a
No known key found for this signature in database
GPG Key ID: 877D2C2E09A22F3A
1 changed files with 10 additions and 0 deletions

View File

@ -6,8 +6,16 @@ if ! [ -x "$(command -v toast)" ]; then
nimble install -y nimterop@0.6.13 nimble install -y nimterop@0.6.13
fi fi
git submodule deinit -f "${root}"
git submodule update --init --recursive --checkout "${root}"
cmake -S "${root}/sources" -B "${root}/build" cmake -S "${root}/sources" -B "${root}/build"
# Remove testing, benchmarking, third-party libraries.
rm -Rf "${root}/sources/third_party"
rm -Rf "${root}/sources/benchmarks"
rm "${root}/sources/util/testutil.cc"
# prelude: not needed? # prelude: not needed?
rm "${root}/leveldb.nim" rm "${root}/leveldb.nim"
@ -20,6 +28,7 @@ for ext in ${extensions}; do
if [[ $file == *"_test"* ]]; then if [[ $file == *"_test"* ]]; then
echo "Skip test file: ${file}" echo "Skip test file: ${file}"
else else
echo "Include file: ${file}"
compile="${compile} --compile=${file}" compile="${compile} --compile=${file}"
fi fi
done done
@ -38,3 +47,4 @@ toast \
--includeDirs="${root}/sources/include" \ --includeDirs="${root}/sources/include" \
--includeDirs="${root}/build/include" \ --includeDirs="${root}/build/include" \
"${root}/sources/include/leveldb/c.h" >> "${root}/leveldb.nim" "${root}/sources/include/leveldb/c.h" >> "${root}/leveldb.nim"