Gezel installation tips for the VHDL code generator

1. Installation of Gezel packages

  The installation procedure for the Gezel Debian packages on Ubuntu is 
described in the Installing GEZEL page of the GEZEL manual, at URL:

   http://rijndael.ece.vt.edu/gezel2/install.html

  However, installation of Debian packages on Ubuntu with apt fails, 
since the public key that is used to sign the packages expired. 
Installation may be carried out by following the Manual Installation 
instructions given in the same manual page. Here these are adapted for 
installation of GEZEL 2.5.15 (the latest release, very likely to be 
the last one) on Ubuntu 16.04 (xenial) for a 64-bit machine, and are 
limited to the packages needed to install the VHDL code generator 
(the binary executable fdlvhd), possibly after recompilation if the 
Ubuntu version is newer than 16.04 (xenial). If installation of other 
packages is desired, the manual installation instructions are similar.
 
# download packages
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-base-xenial/gezel-base-xenial_2.5.15_amd64.deb
# and if recompilation is needed:
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/g/gezel-sources-xenial/gezel-sources-xenial_2.5.15_amd64.deb

# install
sudo dpkg -i gezel-base-xenial_2.5.15_amd64.deb
# and if recompilation is needed:
sudo dpkg -i gezel-sources-xenial_2.5.15_amd64.deb

  In a similar way one may install the 32-bit arm-linux-gcc cross-compiler 
package available from the same repository, that is made use of in some of 
the examples presented in the GEZEL textbook: 

# download package
wget http://rijndael.ece.vt.edu/gezel2repo/pool/main/a/arm-linux-gcc/arm-linux-gcc_3.2_i386.deb

# install
sudo dpkg -i arm-linux-gcc_3.2_i386.deb


2. Recompilation of VHDL code generator from Gezel sources
 
After installation of the base and source packages, recompilation of the 
code generator follows the instructions give in the same manual page under 
heading "Compiling from Source on 32-bit platform". For the code generator, 
these apply to 64-bit platforms as well. Here are the instructions:

# install additional packages needed for compilation:

sudo apt-get install autoconf         \
                     libtool          \
                     g++              \
                     bison            \
                     flex             \
                     texinfo          \
                     libgmp3-dev      \
                     binutils-dev

# extract the source code of the gezel code generation tools (fdlvhd, igc):

tar zxfv /opt/gezel-sources/gezel-cg.tgz
cd gezel-cg
./bootstrap

# compile the code generator and install it in gezel-cg/build: 

./configure --enable-vhdl --enable-igc --with-gezel=/opt/gezel
make install

# if successful, move the compiled binaries and lib components to the base 
# installation, thus replacing those from the distribution:

move build/bin/* /opt/gezel/bin/
move build/lib/* /opt/gezel/lib/

--

   Author: Giuseppe Scollo, University of Catania, DMI
   Version: 1
   Date: 30 September 2018