#!/bin/bash
echo "-----------------------------------------------------------------"
echo "Machine: x86_64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=linux64 clean
make MACHINE=linux64 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: arm6 linux"
echo "-----------------------------------------------------------------"
make MACHINE=arm6 clean
make MACHINE=arm6 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: arm7 linux"
echo "-----------------------------------------------------------------"
make MACHINE=arm7 clean
make MACHINE=arm7 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: aarch64 linux"
echo "-----------------------------------------------------------------"
AARCH64DIR=$HOME/dev/arm-gnu-toolchain-14.2.rel1-x86_64-aarch64-none-linux-gnu make MACHINE=aarch64 clean
AARCH64DIR=$HOME/dev/arm-gnu-toolchain-14.2.rel1-x86_64-aarch64-none-linux-gnu make MACHINE=aarch64 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: riscv64 linux"
echo "-----------------------------------------------------------------"
make MACHINE=riscv64 clean
make MACHINE=riscv64 > /dev/null

echo "-----------------------------------------------------------------"
echo "Machine: cosmocc multi"
echo "-----------------------------------------------------------------"
COSMOCCDIR=$HOME/cosmocc make MACHINE=cosmocc clean
COSMOCCDIR=$HOME/cosmocc make MACHINE=cosmocc > /dev/null