Covered - Installation
Author: Trevor Williams

|  |  | 11
User Manual - «Covered»
|  |  | 5 Installation
|  |  | 5.1 Prerequisites
|  |  | The goal of Covered was to create a tool that has very few requirements to allow it to be compiled and run on all platforms. The following is a list of all utilities/resources required to compile Covered. However, Covered is primarily developed on RedHat/Fedora Core Linux and as such is primarily tested by the developers on that platform.
|  |  | gcc (Version 2.96 or higher) flex (Version 2.5.4 or higher) bison (Version 1.28 or higher) GNU make (Version 3.27.1 or higher) GNU gperf (Version 2.7.2 or higher) tcl and tk (Versions 8.4 or higher)
|  |  | Covered is primarily developed on Fedora Core 3 but has been known to compile with both 32-bit and 64-bit compilers that contain the general GNU library of tools.
|  |  | 5.2 Downloading source
|  |  | To download the source files in .tar.gz format, go to the following URL:
|  |  | http://covered.sourceforge.net/downloads
|  |  | Double-click on the .tar.gz version that you wish to install. The browser should immediately bring up a window asking if you would like to save to disk or open immediately. Choose the "Save to Disk" option. Another window will pop up, allowing you to choose the directory to store the tarball in. After selecting a directory, click the "Save" button. The download utility will begin downloading the tarball to the selected directory.
|  |  | 5.3 Installing from source
|  |  | Once you have downloaded a tarball, enter the following to unzip and untar the package:
|  |  | > gzip -dc tarball_filename | tar xvf -
|  |  | This will create a directory called `covered-version`. At this point, you are ready to configure the build environment to create the executables, libraries and/or documentation for Covered. However, before you configure the build environment, you will need to make a few decisions which will lead to different options given to the configure script. These questions are the following:
|  |  | Do you need to debug Covered? Will you being using Covered as a VPI module and, if so, what simulator(s) will you need VPI modules built for?
|  |  | If the answer to question (1) is yes, configure the build environment with the --enable-debug option to the configure script. Doing so will allow you to use the global -D option for debugging; however, it will also have the side effect of causing the score command to run slower. For normal usage of Covered, this option should not be specified when configuring.
|  |  | If the answer to question (2) is yes and you need to build a VPI module for the Icarus Verilog simulation tool, simply add --with-iv on the configure command-line. If a VPI shared object module is needed for the Cver simulator, simply add --with-cver=cver_include_dir on the configure command line, where cver_include_dir specifies the directory that contains the vpi_user.h file. If a VPI shared object module is needed for the VCS simulator, simply add --with-vcs=vcs_include_dir on the configure command line, where vcs_include_dir specifies the directory that contains the vpi_user.h file.
|  |  | Once you have determined which configuration options you need, simply enter the following command:
|  |  | > ./configure options
|  |  | This command will create the Makefiles/include files necessary for your machine to compile the source code correctly. If any errors are generated during this command run, it is usually an indication that some program or library is missing from your computer that is necessary for Covered to compile/run. Please install any missing programs/libraries and type this command again. If the configure script completes successfully, you may compile the source with the following command:
|  |  | > make
|  |  | This will begin the process of compiling/linking the source code for Covered. This stage may take a while. When the source files have been compiled, the `covered` executable file will have been created. To install this executable in your `/usr/local/bin` directory, enter the following command:
|  |  | > make install
|  |  | This will install the covered executable and manpage help files. Once covered is installed, make sure that `/usr/local/bin` is in your environment path. You are now ready to run Covered.
|  |  | [ Contents | First Page | Previous Page | Home | Next Page | Last Page ] [ 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 ] License: GPL This Manual was created with ManStyle.