#!/bin/sh -

set -ex

/cryptech-builder/ratinox ise-install

rm -rf /Xilinx_ISE_DS_Lin_14.7_1015_1

adduser --disabled-password --gecos 'Cryptech Build Bot' --shell /bin/sh builder
echo >/etc/sudoers.d/builder 'builder ALL = (ALL) NOPASSWD: SETENV: ALL'

install -o builder -g builder /cryptech-builder/Xilinx.lic /home/builder/Xilinx.lic

sudo -u builder /cryptech-builder/ratinox license-user

rm $HOME/builder/Xilinx.lic