diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/lib/Makefile.am | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/Makefile.am b/Build/source/texk/web2c/lib/Makefile.am index 2257fd1ad13..e6b368a3fdf 100644 --- a/Build/source/texk/web2c/lib/Makefile.am +++ b/Build/source/texk/web2c/lib/Makefile.am @@ -10,6 +10,10 @@ AM_CFLAGS = $(WARNING_CFLAGS) @KPATHSEA_RULE@ noinst_LIBRARIES = lib.a +if PTEX +noinst_LIBRARIES += libp.a +endif PTEX +EXTRA_LIBRARIES = libp.a ## We don't compile `texmfmp.c'; this file is converted into 'texextra.c' ## for TeX, 'mfextra.c' for Metafont, ... @@ -31,6 +35,13 @@ lib_a_SOURCES = \ version.c \ zround.c +## Replacements for pTeX. +## +libp_a_CPPFLAGS = -DPTEX $(ENCTEX_INCLUDES) +libp_a_SOURCES = \ + openclose.c \ + printversion.c + ## Not yet used ## EXTRA_DIST = alloca.c win32main.c |