diff options
Diffstat (limited to 'docs/users_guide/ghc_config.py.in')
| -rw-r--r-- | docs/users_guide/ghc_config.py.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/ghc_config.py.in b/docs/users_guide/ghc_config.py.in index e2f5c71d5d..dcc7fbaef6 100644 --- a/docs/users_guide/ghc_config.py.in +++ b/docs/users_guide/ghc_config.py.in @@ -20,4 +20,5 @@ lib_versions = { version = '@ProjectVersion@' -llvm_version = '@LlvmVersion@' +llvm_version_min = '@LlvmMinVersion@' +llvm_version_max = '@LlvmMaxVersion@' |