Add the external core PDF to the new build system

[ghc-hetmet.git] / mk / config.mk.in

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 1c59048..d3b656a 100644 (file)
--- 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
@@ -585,6 +587,8 @@ INSTALL                     = @INSTALL@
 # 
 INSTALL                        := $(subst .././install-sh,$(TOP)/install-sh,$(INSTALL))
 LATEX                  = latex
+PDFLATEX        = pdflatex
+BIBTEX          = bibtex
 HEVEA                  = hevea
 HACHA                  = hacha
 LN_S                   = @LN_S@