summaryrefslogtreecommitdiff
path: root/Build/source/m4/kpse-teckit-flags.m4
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-03-19 13:59:30 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-03-19 13:59:30 +0000
commit0b7b2c69ec83497d9accab064da0f4ad07662d42 (patch)
treee8f22a2acecbf3035850f56beb1c8161c53cdf2d /Build/source/m4/kpse-teckit-flags.m4
parentee507bbd1fc483c58acb33cca25509a4dd81df9b (diff)
prepare for new build system
git-svn-id: svn://tug.org/texlive/trunk@12429 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/m4/kpse-teckit-flags.m4')
-rw-r--r--Build/source/m4/kpse-teckit-flags.m430
1 files changed, 30 insertions, 0 deletions
diff --git a/Build/source/m4/kpse-teckit-flags.m4 b/Build/source/m4/kpse-teckit-flags.m4
new file mode 100644
index 00000000000..e970dc2f66b
--- /dev/null
+++ b/Build/source/m4/kpse-teckit-flags.m4
@@ -0,0 +1,30 @@
+# Public macros for the teTeX / TeX live (TL) tree.
+# Copyright (C) 2009 Peter Breitenlohner <tex-live@tug.org>
+#
+# This file is free software; the copyright holder
+# gives unlimited permission to copy and/or distribute it,
+# with or without modifications, as long as this notice is preserved.
+
+# serial 0
+
+# KPSE_TECKIT_FLAGS([SHELL-CODE=DEFAULT-SHELL-CODE])
+# --------------------------------------------------
+# Provide the configure options '--with-system-teckit' (if in the TL tree),
+# '--with-teckit-includes', and '--with-teckit-libdir'.
+#
+# Set the make variables TECKIT_INCLUDES and TECKIT_LIBS to the CPPFLAGS and
+# LIBS required for the `-lTECkit' library in libs/teckit/ of the TL tree.
+AC_DEFUN([KPSE_TECKIT_FLAGS],
+[AC_REQUIRE([KPSE_ZLIB_FLAGS])[]dnl
+_KPSE_LIB_FLAGS([teckit], [TECkit],
+ [$1],
+ [-ISRC/libs/teckit/source/Public-headers],
+ [BLD/libs/teckit/libTECkit.a], [],
+ [], [])[]dnl
+]) # KPSE_TECKIT_FLAGS
+
+# KPSE_TECKIT_SYSTEM_FLAGS
+# ------------------------
+AC_DEFUN([KPSE_TECKIT_SYSTEM_FLAGS],
+[_KPSE_LIB_FLAGS_SYSTEM([teckit], [TECkit])[]dnl
+]) # KPSE_TECKIT_SYSTEM_FLAGS