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

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

echo "-----------------------------------------------------------------"
echo "Machine: arm7 linux"
echo "-----------------------------------------------------------------"
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 > /dev/null

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

echo "-----------------------------------------------------------------"
echo "Machine: cosmocc multi"
echo "-----------------------------------------------------------------"
if [ -e $HOME/cosmocc/bin/cosmocc ]
then
COSMOCCDIR=$HOME/cosmocc  make MACHINE=cosmocc > /dev/null
else
  echo "cosmocc not found"
fi