sync with current state

This commit is contained in:
T
2024-10-28 18:10:03 +01:00
parent 895a744873
commit 8dc0480c18
38 changed files with 1675 additions and 104 deletions

View File

@@ -39,17 +39,17 @@ if hash cargo 2>/dev/null; then
cp -f external/pixelfoo/target/release/dualmaze apps/
fi
echo "Getting mathpixel"
mkdir -p external
pushd external
if [ ! -d "mathpixel" ]; then
git clone https://git.chaospott.de/andreas/mathpixel.git
fi
pushd mathpixel
git pull
bash setup.sh
popd
popd
#echo "Getting mathpixel"
#mkdir -p external
#pushd external
#if [ ! -d "mathpixel" ]; then
# git clone https://git.chaospott.de/andreas/mathpixel.git
#fi
#pushd mathpixel
#git pull
#bash setup.sh
#popd
#popd
echo "Getting pixelthud"
mkdir -p external