--- /dev/null
+#!/bin/bash
+if [ "$EUID" -ne 0 ]
+ then echo "Please run as root"
+ exit
+fi
+
+export MYNAME=`id 1000 | awk '{print $1}' | sed 's/.*(\(.*\))/\1/'`
+export MYHOME=/home/$MYNAME
+
+runuser $MYNAME --preserve-environment -c '
+cd /home/$MYNAME
+mkdir src
+cd src
+git clone https://github.com/nmigen/nmigen.git
+git clone https://git.libre-riscv.org/git/nmutil.git
+git clone https://git.libre-riscv.org/git/ieee754fpu.git
+git clone https://git.libre-riscv.org/git/soc.git
+'
+cd /home/$MYNAME/src/nmigen
+python3 setup.py develop
+python3 setup.py test
+cd ../nmutil
+python3 setup.py develop
+cd ../ieee754fpu
+git submodule update --init --recursive
+python3 setup.py develop
+cd ../soc
+git submodule update --init --recursive
+python3 setup.py develop
+cd ../