PARHelpers Namespace Reference

Functions
def	PARMaker
	PAR package creator function.
def	MakefileTransform
	Transform the contents of the specified makefile for PROOF usage.
def	MakefileProof
	Create a makefile fragment with the directives for PROOF usage.
def	SourceTransform
	Transform the contents of the specified source file for PROOF usage.
Variables
string	MakefileProofContent
	Contents of the makefile for PROOF compilation.

---

Function Documentation

def PARHelpers::MakefileProof	(		makefile_path,
			verbose
	)

Create a makefile fragment with the directives for PROOF usage.

Parameters:

makefile_path	Path to the makefile that should be created
verbose	True if verbose printout is requested

Definition at line 162 of file PARHelpers.py.

def PARHelpers::MakefileTransform	(		makefile_path,
			verbose
	)

Transform the contents of the specified makefile for PROOF usage.

Parameters:

makefile_path	Path to the makefile that should be transformed
verbose	True if verbose printout is requested

Definition at line 135 of file PARHelpers.py.

def PARHelpers::PARMaker	(		srcdir,
			makefile,
			include,
			src,
			proofdir,
			output,
			verbose
	)

PAR package creator function.

This function creates PAR packages based on a number of parameters.

Parameters:

srcdir	Base directory from which the PAR package is made
makefile	Name of the makefile in the package
include	Name of the include directory in the package
src	Name of the source file directory in the package
proofdir	Name of the directory holding the special PROOF files
output	Name of the output file
verbose	True if verbose printout is requested

Definition at line 20 of file PARHelpers.py.

def PARHelpers::SourceTransform

(

file_path

)

Transform the contents of the specified source file for PROOF usage.

Parameters:

file_path

Path to the source file that should be transformed

Definition at line 178 of file PARHelpers.py.

---

Variable Documentation

string PARHelpers::MakefileProofContent

Contents of the makefile for PROOF compilation.

Definition at line 199 of file PARHelpers.py.