1 files changed, 16 insertions, 0 deletions
diff --git a/Builder2 b/Builder2
new file mode 100755
index 0000000..c464435
--- /dev/null
+++ b/Builder2
@@ -0,0 +1,16 @@
+#!/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