diff options
author | Karl Berry <karl@freefriends.org> | 2008-04-15 23:20:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-04-15 23:20:46 +0000 |
commit | 852df5a4bca0e1a04205d6174789ce30fc96ec45 (patch) | |
tree | 52185f33153b6e7a814c9c24ea3192cd3fec10a5 /Build/source/texk/web2c/alephdir | |
parent | 0b4a47871b0fdceacb8444a72a1fc3a7b7b9ab9b (diff) |
use one makecpool for all programs
git-svn-id: svn://tug.org/texlive/trunk@7433 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/alephdir')
-rw-r--r-- | Build/source/texk/web2c/alephdir/aleph.mk | 8 | ||||
-rw-r--r-- | Build/source/texk/web2c/alephdir/makecpool.c | 67 |
2 files changed, 2 insertions, 73 deletions
diff --git a/Build/source/texk/web2c/alephdir/aleph.mk b/Build/source/texk/web2c/alephdir/aleph.mk index 386bb478e9e..6ace4bd3781 100644 --- a/Build/source/texk/web2c/alephdir/aleph.mk +++ b/Build/source/texk/web2c/alephdir/aleph.mk @@ -122,12 +122,8 @@ aleph.ch: $(calephdir)/ceostuff.ch $(srcdir)/$(calephdir)/comsrcspec.ch \ $(srcdir)/$(calephdir)/ceostuff.ch -aleph-pool.c: aleph.pool alephdir/makecpool - alephdir/makecpool aleph.pool alephdir/aleph-pool.h >aleph-pool.c -alephdir/makecpool: alephdir/makecpool.o - $(CC) $(CFLAGS) -o $@ alephdir/makecpool.o -alephdir/makecpool.o: $(srcdir)/alephdir/makecpool.c - $(CC) $(CFLAGS) -c -o $@ $(srcdir)/alephdir/makecpool.c +aleph-pool.c: aleph.pool $(makecpool) + $(makecpool) aleph.pool alephdir/aleph-pool.h >$@ || rm -f $@ # Check: right now all we do is build the format. check: @ALEPH@ aleph-check diff --git a/Build/source/texk/web2c/alephdir/makecpool.c b/Build/source/texk/web2c/alephdir/makecpool.c deleted file mode 100644 index 4a928068208..00000000000 --- a/Build/source/texk/web2c/alephdir/makecpool.c +++ /dev/null @@ -1,67 +0,0 @@ -/* Copyright 2007, 2008 Taco Hoekwater. - You may freely use, modify and/or distribute this file. */ - -#include <stdio.h> -#include <string.h> -#include <stdlib.h> - -int main(int argc, char *argv[]) { - char *filename; - char *headername; - FILE *fh; - char data[1024]; - if (argc!=3) { - puts("Need exactly two arguments: pool_name and header_name"); - exit(1); - } - filename = argv[1]; - headername = argv[2]; - fh = fopen(filename,"r"); - printf( - "/* This file is auto-generated by makecpool */\n" - "\n" - "#include <stdio.h>\n" - "#include <string.h>\n" - "#include \"%s\"\n" - "\n" - "static char *poolfilearr[] = {\n",headername); - while (fgets(data,1024,fh)) { - int len = strlen(data); - int o = 0; /* skip first o characters*/ - int i; - if (data[len-1]=='\n') { /* chomp;*/ - data[len-1] = 0; - len--; - } - if (data[0]=='*') break; /* last if !^\*!; */ - if (data[0]>='0' && data[0]<='9' && data[1]>='0' && data[1]<='9') { - o=2; /* $data =~ s/^\d\d//; */ - } - printf(" \""); - for (i=o; i<len; i++) { - if (data[i]=='"' || data[i]=='\\') putchar('\\'); - if (data[i]=='?') printf("\" \""); /* suppress trigraphs */ - putchar(data[i]); - } /* $data =~ s/(["\\])/\\$1/g; */ - printf("\",\n"); - } - fclose(fh); - printf(" NULL };\n" - "int loadpoolstrings (integer spare_size) {\n" - " strnumber g=0;\n" - " int i=0,j=0;\n" - " char *s;\n" - " while ((s = poolfilearr[j++])) {\n" - " int l = strlen (s);\n" - " i += l;\n" - " if (i>=spare_size) return 0;\n" - " while (l-- > 0) strpool[poolptr++] = *s++;\n" - /* " while (l-- > 0) str_pool[pool_ptr++] = *s++;\n" */ - " g = makestring();\n" - /* " g = make_string();\n" */ - /* " strref[g]= 127;\n"*/ - " }\n" - " return g;\n" - "}\n"); - return 0; -} |