VFGEN Download

Downloading and Installing VFGEN

Precompiled, statically linked executable files
Source code

Precompiled, statically linked executable files

Download the file that is appropriate for your system, if one is available here.

Computer	Executable File	Size
GNU Linux / x86 64 bit	vfgen-2.4.0-x86_64	5.1 meg
Windows / Intel PC (32 bit)	vfgen-2.4.0.exe	23 meg
Mac OS X (10.4) / PowerPC	vfgen-2.4.0-mac-ppc	26 meg

After downloading the executable file, Linux and Mac users should rename the file to vfgen. Windows users should rename it to vfgen.exe.

In all versions, the program is a command-line program that is run from a terminal. The terminology for the program that gives you a command-line depends on the operating system:

In Linux, start a "Terminal" (also known as a "shell" or "console").
On a Mac in OS X, start a "Terminal".
In Windows, run a "Command Prompt".

Here are a few options for installing the program in Linux (or Linux-like) systems:

If you do not have root privileges, you can copy this file to your own bin directory, ~/bin, and rename it to "vfgen". (You may have to create the ~/bin directory if you don't already have one.) Then be sure that the directory ~/bin is included in your search path. Here is how you can do that if you use the bash shell:
$ export PATH=~/bin:$PATH
If you are the system administrator for your computer system, or if you have root privileges, you can copy the executable file to /usr/local/bin (if you are using Linux) to make it available to all users. To be compatible with the examples in the VFGEN web page, rename the executable file to "vfgen".

If you don't want to bother with any of that, you can simply save the file in the same directory in which you will be working, and rename it to "vfgen". Then to run the program, instead of giving the command "vfgen", you will have to use "./vfgen". For example:
$ ./vfgen check pendulum.vf

Source code

For the source code, download this file:

vfgen-2.4.0.tar.gz

In the directory where the file was saved, run the command

$ tar xvzf vfgen-2.4.0.tar.gz

This will create the subdirectory vfgen-2.4.0. See the README file in that directory for instructions for building VFGEN.

In addition to the standard C/C++ libraries, VFGEN uses the libraries listed in the following table. You will need these libraries installed if you want to build VFGEN from the source code. (Actually, you might not need GMP; GiNaC depends on CLN, and CLN optionally depends on GMP.)

Mini-XML	A "mini" XML C Library	www.minixml.org
GiNaC (<= 1.4.4)	C++ Library for Symbolic Mathematics	www.ginac.de
CLN	Class Library for Numbers	www.ginac.de/CLN
GMP	Arbitrary Precision Arithmetic	gmplib.org

Note 1: Version 2.5 of the Mini-XML (mxml) library has a spelling error in one of its configuration files. If you install mxml version 2.5 from source, the spelling error causes the build of VFGEN to fail. To fix this, reinstall version 2.5 of mxml after changing @PHTREAD_LIBS@ to @PTHREAD_LIBS@ in the file mxml.pc.in.

Note 2: GiNaC version 1.5 was released in February, 2009, but VFGEN has not been updated to use the new release. To build VFGEN, you must use at most version 1.4.4 of GiNaC.