diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 73659cfb84..14ab73ac47 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -95,6 +95,10 @@ BYTECODE_REPOSITORY := @BCR@ SPEC_ROOT := @SPEC_ROOT@ SPEC95_ROOT := @SPEC95_ROOT@ +# Path to the Povray source code. +@USE_POVRAY@ +POVRAY_ROOT := @POVRAY_ROOT@ + # Path to the PAPI code. This is used by the reoptimizer only. #PAPIDIR := /home/vadve/shared/papi-2.3.4.1 PAPIDIR := @PAPIDIR@ |