summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.mk
diff options
context:
space:
mode:
authorMartin Schröder <martin@oneiros.de>2008-05-13 20:14:34 +0000
committerMartin Schröder <martin@oneiros.de>2008-05-13 20:14:34 +0000
commit00f7c0e494a99e890d20c7723c15feeddd85c73e (patch)
treee3ab623f9495dc83f9e6c4e75a117112988f6851 /Build/source/texk/web2c/pdftexdir/pdftex.mk
parent0bb14294123cfedb8ff0a7515d4cc4a2ba70e2a9 (diff)
pdftex: compile in the pool file
git-svn-id: svn://tug.org/texlive/trunk@8115 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.mk')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.mk5
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.mk b/Build/source/texk/web2c/pdftexdir/pdftex.mk
index c649f7cfeef..8130c237a26 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.mk
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.mk
@@ -25,7 +25,8 @@ $(pdftexdir)/pdftex.version: $(srcdir)/$(pdftexdir)/pdftex.web
# The C sources.
pdftex_c = pdftexini.c pdftex0.c pdftex1.c pdftex2.c pdftex3.c
-pdftex_o = pdftexini.o pdftex0.o pdftex1.o pdftex2.o pdftex3.o pdftexextra.o
+pdftex_o = pdftexini.o pdftex0.o pdftex1.o pdftex2.o pdftex3.o pdftexextra.o \
+pdftex-pool.o
# Making pdftex
pdftex: pdftexd.h $(pdftex_o) $(pdftexextra_o) $(pdftexlibsdep)
@@ -42,6 +43,8 @@ $(pdftexdir)/pdftexextra.h: $(pdftexdir)/pdftexextra.in $(pdftexdir)/pdftex.vers
sed -e s/PDFTEX-VERSION/`cat $(pdftexdir)/pdftex.version`/ \
-e s/ETEX-VERSION/`cat etexdir/etex.version`/ \
$(srcdir)/$(pdftexdir)/pdftexextra.in >$@
+pdftex-pool.c: pdftex.pool $(makecpool)
+ $(makecpool) pdftex.pool pdftexdir/ptexlib.h >$@ || rm -f $@
# Tangling
pdftex.p pdftex.pool: tangle $(srcdir)/$(pdftexdir)/pdftex.web pdftex.ch