README.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85


Docker
An attempt to Dockerize the Cryptech build environment.
The ten zillion Debian packages are tedious but straightforward.
The tricky bit is the XiLinx toolchain:

You have to download the installation tarball by hand
You have to get a license key from XiLinx before you can use it
You have to run GUI installation tools to install and configure it

There's not much we can do about the first two, so we assume that
you've obtained a tarball and a license key file, and that you've
dropped them into this directory with the filenames we expect.
The third...is fun, in a demented sort of way.  Don't know whether
it'll work yet, but going to try automating this using
Xvfb, xautomation, and ratpoison.
XiLinx voodoo from Berlin workshop notes


You need to download the Xilinx ISE Design Suite.


Xilinx only supports specific versions of Red Hat and Suse Linux,
  but it does run on Ubuntu and Debian, with the following caveat:
  Ubuntu and Debian symlink /bin/sh to /bin/dash, which can't
  handle if [ ... ] syntax in shell scripts.  Symlinking /bin/sh
  to /bin/bash works.


The Xilinx tools are serious disk hogs: VMs for this need at least
  30-40 GB of disk space.


Step-by-step installation (Dockerfile will attempt to automate this):

Unpack Xilinx_ISE_DS_Lin_14.7_1015_1.tar (or whatever version you have).
cd to Xilinx_ISE_DS_Lin_14.7_1015_1, and run sudo ./xsetup
Click through two screens of license agreements.
Select ISE WebPACK.
Unselect (or leave unselected) Install Cable Drivers.
Go!

Well, not quite. You will need to convince the ISE that you have a license.
On the page
http://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.htm
click on the Licensing Solutions link. On the resulting page, expand
the section Obtain a license for Free or Evaluation product. To
download the ISE Webpack, you should have created an account, so now
you can go to the Licensing Site and use that account to create a
Certificate Based License.
You do not need to go through the HostID dance, just say Do It. You
will then receive a certificate in email (not an X.509 certificate)
which you will be able to use. Then start the ISE Webpack by issuing
the command ise. Go to the Help menu and Manage Licenses. Use the
resulting new License Manager window to install the .lic file. This
process is complex and flakey.
http://www.xilinx.com/support/download/index.html/content/xilinx/en/downloadNav/design-tools.html
http://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.htm
http://www.armadeus.com/wiki/index.php?title=ISE_WebPack_installation_on_Linux
With the license file already present this is simple: follow the installation
instructions, tell it to use existing license file, it'll find it if
you click the right buttons.  And yes, it's another GUI program.
The ise binary referred to above is in /opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/ise
(or in .../lin/ise, but the pbuilder setup requires a 64-bit build machine).
It turns out you don't really need to run the whole ise tool to get to
the license manager, you can just run the license manager directly,
but you do have to source the appropriate settings file first, none of
the XiLinx tools work properly without that.  So:
. /opt/Xilinx/14.7/ISE_DS/settings64.sh
/opt/Xilinx/14.7/ISE_DS/common/bin/lin64/xlcm -manage


In theory, we can run this GUI stuff under Xvfb in Docker.
Debugging this will probably require exporting the Xvfb_screen0 file
via a volume mount.