diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 1c59048e9f..043472a085 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -496,9 +496,11 @@ GhcPatchLevel = @GhcPatchLevel@ GhcMajVersion = @GhcMajVersion@ GhcMinVersion = @GhcMinVersion@ +# Keep this in sync with the variables in package-config.mk ghc_ge_609 = @ghc_ge_609@ ghc_ge_6102 = @ghc_ge_6102@ ghc_ge_611 = @ghc_ge_611@ +ghc_ge_613 = @ghc_ge_613@ # Canonicalised ghc version number, used for easy (integer) version # comparisons. We must expand $(GhcMinVersion) to two digits by |