From 448e02f771e6bc0d754f125a6d804d729525e86f Mon Sep 17 00:00:00 2001
From: Werner Almesberger <werner@almesberger.net>
Date: Mon, 21 Nov 2011 19:31:17 -0300
Subject: [PATCH] m1/tools/xse-sane-init64: nice and tidy setup script for the
 Xilinx tools

---
 m1/tools/xse-sane-init64 | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 m1/tools/xse-sane-init64

diff --git a/m1/tools/xse-sane-init64 b/m1/tools/xse-sane-init64
new file mode 100644
index 0000000..478e590
--- /dev/null
+++ b/m1/tools/xse-sane-init64
@@ -0,0 +1,25 @@
+#!/bin/sh
+#
+# Source this in .bash_profile, before running build_bitstream.sh, etc.
+#
+# The setup process in /opt/Xilinx/13.3/ISE_DS/settings64.sh
+# is an ode to bloat. Below are the things we actually need from it.
+#
+
+x=/opt/Xilinx/13.3/ISE_DS
+
+PATH=$PATH:$x/common/bin/lin64
+PATH=$PATH:$x/ISE/bin/lin64
+PATH=$PATH:$x/ISE/sysgen/util
+
+if [ "$LD_LIBRARY_PATH" ]; then
+	LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$x/common/lib/lin64
+else
+	LD_LIBRARY_PATH=$x/common/lib/lin64
+fi
+LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$x/ISE/lib/lin64
+
+XILINX=$x/ISE
+
+export LD_LIBRARY_PATH XILINX
+x=