Gezel installation tips for the VHDL code generator

*1. Installation of Gezel packages*

  The installation procedure for the Gezel Debian packages on Ubuntu 
was described in the Installing GEZEL page of the GEZEL manual. However, 
Gezel is no longer available from its author's website, therefore 
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 last release) 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). Here 
are the installation instructions (paths are relative to the Gezel folder 
in the reserved lab area): 
 
 o  download packages:
       _base_, URL: ./packages/gezel-base-xenial_2.5.15_amd64.deb
    and if recompilation is needed:
       _source_, URL: ./packages/gezel-sources-xenial_2.5.15_amd64.deb
 o  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, that is made use of in some of the examples presented in the GEZEL 
textbook. If this package is needed, please contact the undersigned.


*2. Documentation*

 Documentation is also available locally, limited to the following sections 
of the original Gezel manual:

 o  _Modeling in the Gezel Language_, URL: ./manual/GezelLanguageManual.pdf
 o  _Gezel Code Generation Tool_, URL: ./manual/Gezel2VHDLcodeGeneration.pdf 


*3. 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:

 o install additional packages needed for compilation:
      sudo apt-get install \
      autoconf libtool g++ bison flex texinfo libgmp3-dev binutils-dev
 o  extract the source code of the gezel code generation tools (fdlvhd, igc):
       tar zxfv /opt/gezel-sources/gezel-cg.tgz
       cd gezel-cg
       ./bootstrap
 o  compile the code generator and install it in gezel-cg/build: 
       ./configure --enable-vhdl --enable-igc --with-gezel=/opt/gezel
       make install
 o  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: 2
   Date: 22 September 2019