#!/bin/sh

echo "Launch Pinguino's IDE on $(lsb_release -sir)..."
mkdir -p ~/Pinguino/v13/pinguino-user/pinguinolibs
mkdir -p ~/Pinguino/v13/pinguino-libraries/p8/pdl
mkdir -p ~/Pinguino/v13/pinguino-libraries/p32/pdl
mkdir -p ~/Pinguino/v13/pinguino-libraries/p8/include/pinguino/core
mkdir -p ~/Pinguino/v13/pinguino-libraries/p8/include/pinguino/core
mkdir -p ~/Pinguino/v13/pinguino-libraries/p8/include/pinguino/libraries

if [ ! -f /home/build/Pinguino/v13/pinguino-user/reserved.pickle ];then
 cp -f /usr/share/pinguino-ide/reserved.pickle ~/Pinguino/v13/pinguino-user/
fi

pushd /usr/share/pinguino-ide
    python3 ./pinguino-ide.py
popd

