Navigation: Theorem Visualization Pipeline > Installation Guides > Pre-Requisites

Send comments on this topic.

  

 

Pre-requisites

 

Install the Microsoft Visual C++ 2010 x64 Redistributable

Run the included Microsoft Visual C++ 2010 x64 Redistributable (vcredist_x64.msi). It is possible that you already have this or a newer version installed. If you already have it installed then the installer will tell you and close.

 

Install the Microsoft NET Framework 4.6.1

The web application runs using NET framework 4.6.1. You will need this (or a newer version) installed. 

Run the included “.NET Framework 4.6.1” installation executable (NDP461-KB3102436-x86x64-AllOS-ENU.exe).

If you have this or another 4.6.x framework already installed then the installer will tell you and close.

Install Python 3

The script that controls file processing is written in Python 3. You will need to install the Python runtime for these to function. Run python-3.6.1.exe 

 

Click “Customize Installation”

 

          

 

Click “Next” on the subsequent page

 

          

 

In the Advanced Options page ensure that the following options are ticked:

oInstall for all users o Associate files with Python o Add Python to environment variables o Precompile standard library

 

          

 

The remaining options are not required but can be ticked if you wish:

oCreate shortcuts for installed applications o Download debugging symbols

oDownload debug binaries

 

Click Install and then close the installation application once it has completed.

 

          

 

Install Perl 5

TPM uses Perl scripts internally and Perl scripts are traditionally used for TPM process scripts. You can find a copy of the Perl runtime within the TPM installation CD. 

Locate your cdTPM_6.0_ALL.02 folder (you may need to extract from a zip file) and navigate into the PREREQS\WINDOWS directory. Run the file ActivePerl-5.10.0.1003-MSWin32-x64285500.msi and follow the installation steps.

Note: There is a known issue where some command arguments passed to a perl script are ignored. Two items should be added to the registry:

[HKEY_CLASSES_ROOT\pl_auto_file\shell\open\command]

@="\"C:\\Perl64\\bin\\perl.exe\" \"%1\" %*"

 

[HKEY_CLASSES_ROOT\Applications\perl.exe\shell\open\command]

@="\"C:\\Perl64\\bin\\perl.exe\" \"%1\" %*"

 

Web Browser

It is recommended that Google Chrome is used as the Web Browser when running the Visualization Pipeline web interface.