#!/bin/sh

# This script sets up a Debian Linux machine for developing applications for
# MuntsOS Embedded Linux

# Copyright (C)2019-2022, Philip Munts, President, Munts AM Corp.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions are met:
#
# * Redistributions of source code must retain the above copyright notice,
#   this list of conditions and the following disclaimer.
#
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
# AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
# ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
# LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
# POSSIBILITY OF SUCH DAMAGE.

MACHINE=`uname -m`

# Install necessary packages from the Debian package repository

sudo apt update
sudo apt install -y openssh-client build-essential git gnat gprbuild libncurses5 wget

# Register Munts Technologies Debian package repository

if [ ! -f /etc/apt/sources.list.d/repo.munts.com.list ]; then
  grep -q "Debian" /etc/issue

  if [ $? -eq 0 ]; then
    if [ "${MACHINE}" = "x86_64" ]; then
      # 64-Bit Debian amd64
      wget http://repo.munts.com/debian11/PublicKey.txt && sudo apt-key add PublicKey.txt && rm PublicKey.txt
      wget http://repo.munts.com/debian11/amd64/munts-repo.deb && sudo dpkg -i munts-repo.deb && rm munts-repo.deb
    fi

    if [ "${MACHINE}" = "aarch64" ]; then
      # 64-Bit Debian arm64
      wget http://repo.munts.com/debian11/PublicKey.txt && sudo apt-key add PublicKey.txt && rm PublicKey.txt
      wget http://repo.munts.com/debian11/arm64/munts-repo.deb && sudo dpkg -i munts-repo.deb && rm munts-repo.deb
    fi
  fi
fi

# Install packages from the Munts Technologies Debian package repository

sudo apt update
sudo apt install -y muntsos-dev

# Clone MuntsOS source code repository

if [ ! -d muntsos ]; then
  git clone https://github.com/pmunts/muntsos.git
fi