diff options
author | Martin Schröder <martin@oneiros.de> | 2008-05-13 20:14:34 +0000 |
---|---|---|
committer | Martin Schröder <martin@oneiros.de> | 2008-05-13 20:14:34 +0000 |
commit | 00f7c0e494a99e890d20c7723c15feeddd85c73e (patch) | |
tree | e3ab623f9495dc83f9e6c4e75a117112988f6851 /Build/source/texk/web2c/pdftexdir/pdftex.mk | |
parent | 0bb14294123cfedb8ff0a7515d4cc4a2ba70e2a9 (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.mk | 5 |
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 |