#!/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