diff options
Diffstat (limited to 'Build/source/texk/web2c/web2c')
-rw-r--r-- | Build/source/texk/web2c/web2c/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/web2c/web2c/common.defines | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/web2c/ChangeLog b/Build/source/texk/web2c/web2c/ChangeLog index c1d8a1f5f22..22ea2f2239d 100644 --- a/Build/source/texk/web2c/web2c/ChangeLog +++ b/Build/source/texk/web2c/web2c/ChangeLog @@ -1,3 +1,8 @@ +2014-01-09 Peter Breitenlohner <peb@mppmu.mpg.de> + + Introduce a genuine 64-bit integer type, in case of 32-bit off_t. + * common.defines (int64cast, integer64): Add these. + 2013-12-06 Peter Breitenlohner <peb@mppmu.mpg.de> * common.defines (makesuffix): Add this. diff --git a/Build/source/texk/web2c/web2c/common.defines b/Build/source/texk/web2c/web2c/common.defines index 55739b9f531..af0543a0514 100644 --- a/Build/source/texk/web2c/web2c/common.defines +++ b/Build/source/texk/web2c/web2c/common.defines @@ -134,6 +134,7 @@ @define function kpsevarvalue (); @define function inputint (); @define function intcast (); +@define function int64cast (); @define function isprint (); @define function makebinaryfile (); @define function makesuffix (); @@ -207,6 +208,7 @@ @define type char = 0..255; @define type getoptstruct; @define type integer; +@define type integer64; @define type longinteger; @define type memoryword; {for gftodvi, TeX, and Metafont} @define type pointertobyte; |