MPDVI(1)

NAME
mpdvi - install an MPD program in the verification suite

SYNOPSIS
mpdvi [ -option ... ] dir

DESCRIPTION
Mpdvi installs an MPD program in the MPD verification suite. It is part of the MPD installation process and is not used by MPD programmers.

A new directory dir is created in the vsuite hierarchy to hold the program and associated files. dir may be given as a path relative to vsuite if the intermediate directories exist.

Mpdvi prompts for source files and input files. Enter each of these as a space-separated list. The list of input files may be empty.

After the specifications have been entered, the files are copied into the vsuite hierarchy and the program is compiled and linked. If no errors are found, it is executed using each specified input file in turn as standard input. If no input files are given, it is executed once with input from /dev/null. Standard output and error files are combined and saved from each run. A Script file is created for mpdv(1).

Mpdvi normally finds binaries in the source hierarchy. The -c and -r options select the production (installed) versions of the compiler and runtime system respectively; the -p option selects both of these.

FILES
All files are created in vsuite/dir.

Script    verification script
Compiler.std    compilation messages, if any
xxxxx.std    output from input file `xxxxx'

SEE ALSO
mpdv(1), mpd(1), mpdl(1)

DIAGNOSTICS
Mpdvi lists the MPD system files to be used, and aborts if any are inaccessible. It checks the accessibility of all source and data files before copying anything or creating the Script file.

Mpdvi refuses to overwrite a directory with an existing Script file.

CAVEATS
Mpdvi does not support the full generality of mpdv. Complex verification scripts must be created manually.