diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2018-10-01 14:02:07 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2018-10-01 14:02:07 +0000 |
commit | 7ebd77f080a78b1dd5016f90d6946c746e68effc (patch) | |
tree | 54705bb7aabfe9cb011894a6467e0d8491ae033c | |
parent | 3b8b6032bb95c9b31620563709193deef3ad03e5 (diff) |
Notes
-rw-r--r-- | lang/ghc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/ghc/Makefile b/lang/ghc/Makefile index 1fb244d8cc8f..cb2cf404396c 100644 --- a/lang/ghc/Makefile +++ b/lang/ghc/Makefile @@ -38,6 +38,8 @@ NO_CCACHE= ccache: error: Failed to create directory /nonexistent/.ccache/tmp: P # This is better fixed in files/build.mk.in GNU_CONFIGURE= yes +# disable xelatex: PR 231438 +CONFIGURE_ENV+= ac_cv_path_XELATEX= CONFIGURE_ARGS= --with-gmp-includes=${LOCALBASE}/include \ --with-gmp-libraries=${LOCALBASE}/lib \ --with-iconv-includes=${LOCALBASE}/include \ |