mkdef.pl 30.2 KB
Newer Older
1
#!/usr/local/bin/perl -w
2 3 4 5
#
# generate a .def file
#
# It does this by parsing the header files and looking for the
6
# prototyped functions: it then prunes the output.
7
#
8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
# Intermediary files are created, call libeay.num and ssleay.num,...
# Previously, they had the following format:
#
#	routine-name	nnnn
#
# But that isn't enough for a number of reasons, the first on being that
# this format is (needlessly) very Win32-centric, and even then...
# One of the biggest problems is that there's no information about what
# routines should actually be used, which varies with what crypto algorithms
# are disabled.  Also, some operating systems (for example VMS with VAX C)
# need to keep track of the global variables as well as the functions.
#
# So, a remake of this script is done so as to include information on the
# kind of symbol it is (function or variable) and what algorithms they're
# part of.  This will allow easy translating to .def files or the corresponding
# file in other operating systems (a .opt file for VMS, possibly with a .mar
# file).
#
# The format now becomes:
#
#	routine-name	nnnn	info
#
# and the "info" part is actually a colon-separated string of fields with
# the following meaning:
#
#	existence:platform:kind:algorithms
#
# - "existence" can be "EXIST" or "NOEXIST" depending on if the symbol is
#   found somewhere in the source, 
# - "platforms" is empty if it exists on all platforms, otherwise it contains
#   comma-separated list of the platform, just as they are if the symbol exists
#   for those platforms, or prepended with a "!" if not.  This helps resolve
#   symbol name replacements for platforms where the names are too long for the
#   compiler or linker, or if the systems is case insensitive and there is a
#   clash.  This script assumes those redefinitions are place in the file
43 44 45 46 47 48 49 50
#   crypto/symhacks.h.
#   The semantics for the platforms list is a bit complicated.  The rule of
#   thumb is that the list is exclusive, but it seems to mean different things.
#   So, if the list is all negatives (like "!VMS,!WIN16"), the symbol exists
#   on all platforms except those listed.  If the list is all positives (like
#   "VMS,WIN16"), the symbol exists only on those platforms and nowhere else.
#   The combination of positives and negatives will act as if the positives
#   weren't there.
51 52 53 54 55
# - "kind" is "FUNCTION" or "VARIABLE".  The meaning of that is obvious.
# - "algorithms" is a comma-separated list of algorithm names.  This helps
#   exclude symbols that are part of an algorithm that some user wants to
#   exclude.
#
56

57 58
my $debug=0;

59 60
my $crypto_num= "util/libeay.num";
my $ssl_num=    "util/ssleay.num";
61

62
my $do_update = 0;
63
my $do_rewrite = 0;
64 65
my $do_crypto = 0;
my $do_ssl = 0;
66
my $do_ctest = 0;
67
my $do_ctestall = 0;
68
my $do_checkexist = 0;
69

70 71 72
my $VMS=0;
my $W32=0;
my $W16=0;
73
my $NT=0;
74
# Set this to make typesafe STACK definitions appear in DEF
75
my $safe_stack_def = 0;
76

77 78
my @known_platforms = ( "__FreeBSD__", "PERL5", "NeXT" );
my @known_ossl_platforms = ( "VMS", "WIN16", "WIN32", "WINNT" );
79
my @known_algorithms = ( "RC2", "RC4", "RC5", "IDEA", "DES", "BF",
R
Richard Levitte 已提交
80 81
			 "CAST", "MD2", "MD4", "MD5", "SHA", "SHA0", "SHA1",
			 "RIPEMD",
82
			 "MDC2", "RSA", "DSA", "DH", "HMAC", "AES",
R
Richard Levitte 已提交
83 84 85 86 87 88 89
			 # Envelope "algorithms"
			 "EVP", "X509", "ASN1_TYPEDEFS",
			 # Helper "algorithms"
			 "BIO", "COMP", "BUFFER", "LHASH", "STACK", "ERR",
			 "LOCKING",
			 # External "algorithms"
			 "FP_API", "STDIO", "SOCK", "KRB5" );
90

91
my $options="";
92 93 94 95
open(IN,"<Makefile.ssl") || die "unable to open Makefile.ssl!\n";
while(<IN>) {
    $options=$1 if (/^OPTIONS=(.*)$/);
}
U
Ulf Möller 已提交
96
close(IN);
97

98 99 100 101
# The following ciphers may be excluded (by Configure). This means functions
# defined with ifndef(NO_XXX) are not included in the .def file, and everything
# in directory xxx is ignored.
my $no_rc2; my $no_rc4; my $no_rc5; my $no_idea; my $no_des; my $no_bf;
102 103
my $no_cast;
my $no_md2; my $no_md4; my $no_md5; my $no_sha; my $no_ripemd; my $no_mdc2;
104
my $no_rsa; my $no_dsa; my $no_dh; my $no_hmac=0; my $no_aes; my $no_krb5;
105
my $no_fp_api;
106

107
foreach (@ARGV, split(/ /, $options))
108
	{
109
	$W32=1 if $_ eq "32";
110
	$W16=1 if $_ eq "16";
111 112 113 114
	if($_ eq "NT") {
		$W32 = 1;
		$NT = 1;
	}
115
	$VMS=1 if $_ eq "VMS";
116

117
	$do_ssl=1 if $_ eq "ssleay";
118
	$do_ssl=1 if $_ eq "ssl";
119
	$do_crypto=1 if $_ eq "libeay";
120 121
	$do_crypto=1 if $_ eq "crypto";
	$do_update=1 if $_ eq "update";
122
	$do_rewrite=1 if $_ eq "rewrite";
D
Dr. Stephen Henson 已提交
123
	$do_ctest=1 if $_ eq "ctest";
124
	$do_ctestall=1 if $_ eq "ctestall";
125
	$do_checkexist=1 if $_ eq "exist";
126
	#$safe_stack_def=1 if $_ eq "-DDEBUG_SAFESTACK";
U
Ulf Möller 已提交
127 128 129 130 131

	if    (/^no-rc2$/)      { $no_rc2=1; }
	elsif (/^no-rc4$/)      { $no_rc4=1; }
	elsif (/^no-rc5$/)      { $no_rc5=1; }
	elsif (/^no-idea$/)     { $no_idea=1; }
132
	elsif (/^no-des$/)      { $no_des=1; $no_mdc2=1; }
U
Ulf Möller 已提交
133 134 135
	elsif (/^no-bf$/)       { $no_bf=1; }
	elsif (/^no-cast$/)     { $no_cast=1; }
	elsif (/^no-md2$/)      { $no_md2=1; }
136
	elsif (/^no-md4$/)      { $no_md4=1; }
U
Ulf Möller 已提交
137 138 139 140 141 142 143 144
	elsif (/^no-md5$/)      { $no_md5=1; }
	elsif (/^no-sha$/)      { $no_sha=1; }
	elsif (/^no-ripemd$/)   { $no_ripemd=1; }
	elsif (/^no-mdc2$/)     { $no_mdc2=1; }
	elsif (/^no-rsa$/)      { $no_rsa=1; }
	elsif (/^no-dsa$/)      { $no_dsa=1; }
	elsif (/^no-dh$/)       { $no_dh=1; }
	elsif (/^no-hmac$/)	{ $no_hmac=1; }
145
	elsif (/^no-aes$/)	{ $no_aes=1; }
R
Richard Levitte 已提交
146 147 148 149 150 151 152 153 154
	elsif (/^no-evp$/)	{ $no_evp=1; }
	elsif (/^no-lhash$/)	{ $no_lhash=1; }
	elsif (/^no-stack$/)	{ $no_stack=1; }
	elsif (/^no-err$/)	{ $no_err=1; }
	elsif (/^no-buffer$/)	{ $no_buffer=1; }
	elsif (/^no-bio$/)	{ $no_bio=1; }
	#elsif (/^no-locking$/)	{ $no_locking=1; }
	elsif (/^no-comp$/)	{ $no_comp=1; }
	elsif (/^no-dso$/)	{ $no_dso=1; }
155
	elsif (/^no-krb5$/)	{ $no_krb5=1; }
156 157
	}

D
Dr. Stephen Henson 已提交
158

159 160 161 162 163 164 165 166 167 168
# If no platform is given, assume WIN32
if ($W32 + $W16 + $VMS == 0) {
	$W32 = 1;
}

# Add extra knowledge
if ($W16) {
	$no_fp_api=1;
}

169 170
if (!$do_ssl && !$do_crypto)
	{
171
	print STDERR "usage: $0 ( ssl | crypto ) [ 16 | 32 | NT ]\n";
172 173 174 175
	exit(1);
	}

%ssl_list=&load_numbers($ssl_num);
176
$max_ssl = $max_num;
177
%crypto_list=&load_numbers($crypto_num);
178
$max_crypto = $max_num;
179

180
my $ssl="ssl/ssl.h";
R
Richard Levitte 已提交
181
$ssl.=" ssl/kssl.h";
182

183
my $crypto ="crypto/crypto.h";
U
Ulf Möller 已提交
184 185 186 187 188 189 190 191
$crypto.=" crypto/des/des.h" unless $no_des;
$crypto.=" crypto/idea/idea.h" unless $no_idea;
$crypto.=" crypto/rc4/rc4.h" unless $no_rc4;
$crypto.=" crypto/rc5/rc5.h" unless $no_rc5;
$crypto.=" crypto/rc2/rc2.h" unless $no_rc2;
$crypto.=" crypto/bf/blowfish.h" unless $no_bf;
$crypto.=" crypto/cast/cast.h" unless $no_cast;
$crypto.=" crypto/md2/md2.h" unless $no_md2;
192
$crypto.=" crypto/md4/md4.h" unless $no_md4;
U
Ulf Möller 已提交
193 194 195 196
$crypto.=" crypto/md5/md5.h" unless $no_md5;
$crypto.=" crypto/mdc2/mdc2.h" unless $no_mdc2;
$crypto.=" crypto/sha/sha.h" unless $no_sha;
$crypto.=" crypto/ripemd/ripemd.h" unless $no_ripemd;
197 198
$crypto.=" crypto/rijndael/rijndael.h" unless $no_aes;
$crypto.=" crypto/rijndael/rd_fst.h" unless $no_aes;
199 200

$crypto.=" crypto/bn/bn.h";
U
Ulf Möller 已提交
201 202 203 204
$crypto.=" crypto/rsa/rsa.h" unless $no_rsa;
$crypto.=" crypto/dsa/dsa.h" unless $no_dsa;
$crypto.=" crypto/dh/dh.h" unless $no_dh;
$crypto.=" crypto/hmac/hmac.h" unless $no_hmac;
205

206
$crypto.=" crypto/engine/engine.h";
R
Richard Levitte 已提交
207 208 209 210 211
$crypto.=" crypto/stack/stack.h" unless $no_stack;
$crypto.=" crypto/buffer/buffer.h" unless $no_buffer;
$crypto.=" crypto/bio/bio.h" unless $no_bio;
$crypto.=" crypto/dso/dso.h" unless $no_dso;
$crypto.=" crypto/lhash/lhash.h" unless $no_lhash;
212 213 214
$crypto.=" crypto/conf/conf.h";
$crypto.=" crypto/txt_db/txt_db.h";

R
Richard Levitte 已提交
215
$crypto.=" crypto/evp/evp.h" unless $no_evp;
216 217 218 219
$crypto.=" crypto/objects/objects.h";
$crypto.=" crypto/pem/pem.h";
#$crypto.=" crypto/meth/meth.h";
$crypto.=" crypto/asn1/asn1.h";
220
$crypto.=" crypto/asn1/asn1t.h";
221
$crypto.=" crypto/asn1/asn1_mac.h";
R
Richard Levitte 已提交
222
$crypto.=" crypto/err/err.h" unless $no_err;
223
$crypto.=" crypto/pkcs7/pkcs7.h";
224
$crypto.=" crypto/pkcs12/pkcs12.h";
225 226
$crypto.=" crypto/x509/x509.h";
$crypto.=" crypto/x509/x509_vfy.h";
227
$crypto.=" crypto/x509v3/x509v3.h";
228
$crypto.=" crypto/rand/rand.h";
R
Richard Levitte 已提交
229
$crypto.=" crypto/comp/comp.h" unless $no_comp;
230
$crypto.=" crypto/ocsp/ocsp.h";
231
$crypto.=" crypto/tmdiff.h";
232

233
my $symhacks="crypto/symhacks.h";
234

235 236
my @ssl_symbols = &do_defs("SSLEAY", $ssl, $symhacks);
my @crypto_symbols = &do_defs("LIBEAY", $crypto, $symhacks);
237

238 239 240
if ($do_update) {

if ($do_ssl == 1) {
241 242 243 244 245 246 247 248 249 250

	&maybe_add_info("SSLEAY",*ssl_list,@ssl_symbols);
	if ($do_rewrite == 1) {
		open(OUT, ">$ssl_num");
		&rewrite_numbers(*OUT,"SSLEAY",*ssl_list,@ssl_symbols);
		close OUT;
	} else {
		open(OUT, ">>$ssl_num");
	}
	&update_numbers(*OUT,"SSLEAY",*ssl_list,$max_ssl,@ssl_symbols);
251 252 253 254
	close OUT;
}

if($do_crypto == 1) {
255 256 257 258 259 260 261 262 263

	&maybe_add_info("LIBEAY",*crypto_list,@crypto_symbols);
	if ($do_rewrite == 1) {
		open(OUT, ">$crypto_num");
		&rewrite_numbers(*OUT,"LIBEAY",*crypto_list,@crypto_symbols);
	} else {
		open(OUT, ">>$crypto_num");
	}
	&update_numbers(*OUT,"LIBEAY",*crypto_list,$max_crypto,@crypto_symbols);
264
	close OUT;
D
Dr. Stephen Henson 已提交
265 266
} 

267 268 269 270 271
} elsif ($do_checkexist) {
	&check_existing(*ssl_list, @ssl_symbols)
		if $do_ssl == 1;
	&check_existing(*crypto_list, @crypto_symbols)
		if $do_crypto == 1;
272
} elsif ($do_ctest || $do_ctestall) {
D
Dr. Stephen Henson 已提交
273 274 275 276 277 278 279 280 281 282

	print <<"EOF";

/* Test file to check all DEF file symbols are present by trying
 * to link to all of them. This is *not* intended to be run!
 */

int main()
{
EOF
283
	&print_test_file(*STDOUT,"SSLEAY",*ssl_list,$do_ctestall,@ssl_symbols)
D
Dr. Stephen Henson 已提交
284 285
		if $do_ssl == 1;

286
	&print_test_file(*STDOUT,"LIBEAY",*crypto_list,$do_ctestall,@crypto_symbols)
D
Dr. Stephen Henson 已提交
287 288 289
		if $do_crypto == 1;

	print "}\n";
290 291

} else {
U
Ulf Möller 已提交
292

293
	&print_def_file(*STDOUT,"SSLEAY",*ssl_list,@ssl_symbols)
294 295
		if $do_ssl == 1;

296
	&print_def_file(*STDOUT,"LIBEAY",*crypto_list,@crypto_symbols)
297
		if $do_crypto == 1;
U
Ulf Möller 已提交
298

299
}
300 301 302


sub do_defs
303
{
304
	my($name,$files,$symhacksfile)=@_;
305
	my $file;
306
	my @ret;
307 308 309 310 311
	my %syms;
	my %platform;		# For anything undefined, we assume ""
	my %kind;		# For anything undefined, we assume "FUNCTION"
	my %algorithm;		# For anything undefined, we assume ""
	my %rename;
312
	my $cpp;
R
Richard Levitte 已提交
313
	my %unknown_algorithms = ();
314

315
	foreach $file (split(/\s+/,$symhacksfile." ".$files))
316 317
		{
		open(IN,"<$file") || die "unable to open $file:$!\n";
318
		my $line = "", my $def= "";
319
		my %tag = (
320 321
			(map { $_ => 0 } @known_platforms),
			(map { "OPENSSL_SYS_".$_ => 0 } @known_ossl_platforms),
322
			(map { "OPENSSL_NO_".$_ => 0 } @known_algorithms),
323 324 325 326 327 328
			NOPROTO		=> 0,
			PERL5		=> 0,
			_WINDLL		=> 0,
			CONST_STRICT	=> 0,
			TRUE		=> 1,
		);
329
		my $symhacking = $file eq $symhacksfile;
330 331 332
		my @current_platforms = ();
		my @current_algorithms = ();

333 334 335 336 337
		while(<IN>) {
			last if (/BEGIN ERROR CODES/);
			if ($line ne '') {
				$_ = $line . $_;
				$line = '';
338
			}
339 340

			if (/\\$/) {
341 342
				chomp; # remove eol
				chop; # remove ending backslash
343 344 345 346
				$line = $_;
				next;
			}

347
	    		$cpp = 1 if /^\#.*ifdef.*cplusplus/;
348
			if ($cpp) {
349
				$cpp = 0 if /^\#.*endif/;
350 351 352 353 354
				next;
	    		}

			s/\/\*.*?\*\///gs;                   # ignore comments
			s/{[^{}]*}//gs;                      # ignore {} blocks
355
			print STDERR "DEBUG: \$_=\"$_\"\n" if $debug;
R
Richard Levitte 已提交
356
			if (/^\#\s*ifndef\s+(.*)/) {
357
				push(@tag,"-");
358 359
				push(@tag,$1);
				$tag{$1}=-1;
360
				print STDERR "DEBUG: $file: found tag $1 = -1\n" if $debug;
R
Richard Levitte 已提交
361
			} elsif (/^\#\s*if\s+!defined\(([^\)]+)\)/) {
362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377
				push(@tag,"-");
				if (/^\#\s*if\s+(!defined\(([^\)]+)\)(\s+\&\&\s+!defined\(([^\)]+)\))*)$/) {
					my $tmp_1 = $1;
					my $tmp_;
					foreach $tmp_ (split '\&\&',$tmp_1) {
						$tmp_ =~ /!defined\(([^\)]+)\)/;
						print STDERR "DEBUG: $file: found tag $1 = -1\n" if $debug;
						push(@tag,$1);
						$tag{$1}=-1;
					}
				} else {
					print STDERR "Warning: $file: complicated expression: $_" if $debug; # because it is O...
					print STDERR "DEBUG: $file: found tag $1 = -1\n" if $debug;
					push(@tag,$1);
					$tag{$1}=-1;
				}
R
Richard Levitte 已提交
378
			} elsif (/^\#\s*ifdef\s+(.*)/) {
379
				push(@tag,"-");
380 381
				push(@tag,$1);
				$tag{$1}=1;
382
				print STDERR "DEBUG: $file: found tag $1 = 1\n" if $debug;
R
Richard Levitte 已提交
383
			} elsif (/^\#\s*if\s+defined\(([^\)]+)\)/) {
384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399
				push(@tag,"-");
				if (/^\#\s*if\s+(defined\(([^\)]+)\)(\s+\|\|\s+defined\(([^\)]+)\))*)$/) {
					my $tmp_1 = $1;
					my $tmp_;
					foreach $tmp_ (split '\|\|',$tmp_1) {
						$tmp_ =~ /defined\(([^\)]+)\)/;
						print STDERR "DEBUG: $file: found tag $1 = 1\n" if $debug;
						push(@tag,$1);
						$tag{$1}=1;
					}
				} else {
					print STDERR "Warning: $file: complicated expression: $_\n" if $debug; # because it is O...
					print STDERR "DEBUG: $file: found tag $1 = 1\n" if $debug;
					push(@tag,$1);
					$tag{$1}=1;
				}
400
			} elsif (/^\#\s*error\s+(\w+) is disabled\./) {
401 402 403 404 405 406 407
				my $tag_i = $#tag;
				while($tag[$tag_i] ne "-") {
					if ($tag[$tag_i] eq "OPENSSL_NO_".$1) {
						$tag{$tag[$tag_i]}=2;
						print STDERR "DEBUG: $file: chaged tag $1 = 2\n" if $debug;
					}
					$tag_i--;
408
				}
409
			} elsif (/^\#\s*endif/) {
410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431
				my $tag_i = $#tag;
				while($tag[$tag_i] ne "-") {
					my $t=$tag[$tag_i];
					print STDERR "DEBUG: \$t=\"$t\"\n" if $debug;
					if ($tag{$t}==2) {
						$tag{$t}=-1;
					} else {
						$tag{$t}=0;
					}
					print STDERR "DEBUG: $file: changed tag ",$t," = ",$tag{$t},"\n" if $debug;
					pop(@tag);
					if ($t =~ /^OPENSSL_NO_([A-Z0-9_]+)$/) {
						$t=$1;
					} else {
						$t="";
					}
					if ($t ne ""
					    && !grep(/^$t$/, @known_algorithms)) {
						$unknown_algorithms{$t} = 1;
						#print STDERR "DEBUG: Added as unknown algorithm: $t\n" if $debug;
					}
					$tag_i--;
432
				}
433
				pop(@tag);
434
			} elsif (/^\#\s*else/) {
435 436 437 438 439 440 441
				my $tag_i = $#tag;
				while($tag[$tag_i] ne "-") {
					my $t=$tag[$tag_i];
					$tag{$t}= -$tag{$t};
					print STDERR "DEBUG: $file: changed tag ",$t," = ",$tag{$t},"\n" if $debug;
					$tag_i--;
				}
442
			} elsif (/^\#\s*if\s+1/) {
443
				push(@tag,"-");
444 445 446
				# Dummy tag
				push(@tag,"TRUE");
				$tag{"TRUE"}=1;
447
				print STDERR "DEBUG: $file: found 1\n" if $debug;
B
Bodo Möller 已提交
448
			} elsif (/^\#\s*if\s+0/) {
449
				push(@tag,"-");
B
Bodo Möller 已提交
450 451 452
				# Dummy tag
				push(@tag,"TRUE");
				$tag{"TRUE"}=-1;
453
				print STDERR "DEBUG: $file: found 0\n" if $debug;
454
			} elsif (/^\#\s*define\s+(\w+)\s+(\w+)/
455
				 && $symhacking && $tag{'TRUE'} != -1) {
456
				my $s = $1;
457 458 459 460 461 462 463 464 465 466 467 468 469 470 471
				my $a = $2;
				my $a1 = join(",",
					      grep(!/^$/,
						   map { $tag{$_} == 1 ?
							     $_ : "" }
						   @known_platforms));
				my $a2 = join(",",
					      grep(!/^$/,
						   map { $tag{"OPENSSL_SYS_".$_} == 1 ?
							     $_ : "" }
						   @known_ossl_platforms));
				if ($a1 eq "") { $a1 = $a2; }
				elsif ($a1 ne "" && $a2 ne "") { $a1 .= ",".$a2; }
				$rename{$s} = $a.":".$a1;
				print STDERR "DEBUG: $file: defined $s = $a\n" if $debug;
472 473
			}
			if (/^\#/) {
474 475
				@current_platforms =
				    grep(!/^$/,
476 477
					 map { $tag{$_} == 1 ? $_ :
						   $tag{$_} == -1 ? "!".$_  : "" }
478
					 @known_platforms);
479 480 481 482 483
				push @current_platforms
				    , grep(!/^$/,
					   map { $tag{"OPENSSL_SYS_".$_} == 1 ? $_ :
						     $tag{"OPENSSL_SYS_".$_} == -1 ? "!".$_  : "" }
					   @known_ossl_platforms);
484 485
				@current_algorithms =
				    grep(!/^$/,
486
					 map { $tag{"OPENSSL_NO_".$_} == -1 ? $_ : "" }
487 488 489 490 491
					 @known_algorithms);
				$def .=
				    "#INFO:"
					.join(',',@current_platforms).":"
					    .join(',',@current_algorithms).";";
492 493
				next;
			}
494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582
			if ($tag{'TRUE'} != -1) {
				if (/^\s*DECLARE_STACK_OF\s*\(\s*(\w*)\s*\)/) {
					next;
				} elsif (/^\s*DECLARE_ASN1_ENCODE_FUNCTIONS\s*\(\s*(\w*)\s*,\s*(\w*)\s*,\s*(\w*)\s*\)/) {
					$def .= "int d2i_$3(void);";
					$def .= "int i2d_$3(void);";
					$def .= "OPENSSL_EXTERN int $2_it;";
					next;
				} elsif (/^\s*DECLARE_ASN1_FUNCTIONS_fname\s*\(\s*(\w*)\s*,\s*(\w*)\s*,\s*(\w*)\s*\)/) {
					$def .= "int d2i_$3(void);";
					$def .= "int i2d_$3(void);";
					$def .= "int $3_free(void);";
					$def .= "int $3_new(void);";
					$def .= "OPENSSL_EXTERN int $2_it;";
				} elsif (/^\s*DECLARE_ASN1_FUNCTIONS\s*\(\s*(\w*)\s*\)/ ||
					 /^\s*DECLARE_ASN1_FUNCTIONS_const\s*\(\s*(\w*)\s*\)/) {
					$def .= "int d2i_$1(void);";
					$def .= "int i2d_$1(void);";
					$def .= "int $1_free(void);";
					$def .= "int $1_new(void);";
					$def .= "OPENSSL_EXTERN int $1_it;";
					next;
				} elsif (/^\s*DECLARE_ASN1_ENCODE_FUNCTIONS_const\s*\(\s*(\w*)\s*,\s*(\w*)\s*\)/) {
					$def .= "int d2i_$2(void);";
					$def .= "int i2d_$2(void);";
					$def .= "OPENSSL_EXTERN int $2_it;";
					next;
				} elsif (/^\s*DECLARE_ASN1_FUNCTIONS_name\s*\(\s*(\w*)\s*,\s*(\w*)\s*\)/) {
					$def .= "int d2i_$2(void);";
					$def .= "int i2d_$2(void);";
					$def .= "int $2_free(void);";
					$def .= "int $2_new(void);";
					$def .= "OPENSSL_EXTERN int $2_it;";
					next;
				} elsif (/^\s*DECLARE_ASN1_ITEM\s*\(\s*(\w*)\s*,(\w*)\s*\)/) {
					$def .= "OPENSSL_EXTERN int $1_it;";
					next;
				} elsif (/^\s*DECLARE_PKCS12_STACK_OF\s*\(\s*(\w*)\s*\)/) {
					next;
				} elsif (/^\s*DECLARE_ASN1_SET_OF\s*\(\s*(\w*)\s*\)/) {
					next;
				} elsif (/^DECLARE_PEM_rw\s*\(\s*(\w*)\s*,/ ||
					 /^DECLARE_PEM_rw_cb\s*\(\s*(\w*)\s*,/ ) {
					# Things not in Win16
					$def .=
					    "#INFO:"
						.join(',',"!WIN16",@current_platforms).":"
						    .join(',',@current_algorithms).";";
					$def .= "int PEM_read_$1(void);";
					$def .= "int PEM_write_$1(void);";
					$def .=
					    "#INFO:"
						.join(',',@current_platforms).":"
						    .join(',',@current_algorithms).";";
					# Things that are everywhere
					$def .= "int PEM_read_bio_$1(void);";
					$def .= "int PEM_write_bio_$1(void);";
					next;
				} elsif (/^DECLARE_PEM_write\s*\(\s*(\w*)\s*,/ ||
					 /^DECLARE_PEM_write_cb\s*\(\s*(\w*)\s*,/ ) {
					# Things not in Win16
					$def .=
					    "#INFO:"
						.join(',',"!WIN16",@current_platforms).":"
						    .join(',',@current_algorithms).";";
					$def .= "int PEM_write_$1(void);";
					$def .=
					    "#INFO:"
						.join(',',@current_platforms).":"
						    .join(',',@current_algorithms).";";
					# Things that are everywhere
					$def .= "int PEM_write_bio_$1(void);";
					next;
				} elsif (/^DECLARE_PEM_read\s*\(\s*(\w*)\s*,/ ||
					 /^DECLARE_PEM_read_cb\s*\(\s*(\w*)\s*,/ ) {
					# Things not in Win16
					$def .=
					    "#INFO:"
						.join(',',"!WIN16",@current_platforms).":"
						    .join(',',@current_algorithms).";";
					$def .= "int PEM_read_$1(void);";
					$def .=
					    "#INFO:"
						.join(',',@current_platforms).":"
						    .join(',',@current_algorithms).";";
					# Things that are everywhere
					$def .= "int PEM_read_bio_$1(void);";
					next;
				} elsif ($tag{'CONST_STRICT'} != 1) {
583
					if (/\{|\/\*|\([^\)]*$/) {
584 585 586 587
						$line = $_;
					} else {
						$def .= $_;
					}
588 589
				}
			}
590
		}
591
		close(IN);
592

593 594 595
		my $algs;
		my $plays;

596
		foreach (split /;/, $def) {
597
			my $s; my $k = "FUNCTION"; my $p; my $a;
598 599
			s/^[\n\s]*//g;
			s/[\n\s]*$//g;
600
			next if(/\#undef/);
601
			next if(/typedef\W/);
602 603 604 605 606 607 608 609 610 611 612
			next if(/\#define/);

			if (/^\#INFO:([^:]*):(.*)$/) {
				$plats = $1;
				$algs = $2;
				next;
			} elsif (/^\s*OPENSSL_EXTERN\s.*?(\w+)(\[[0-9]*\])*\s*$/) {
				$s = $1;
				$k = "VARIABLE";
			} elsif (/\(\*(\w*)\([^\)]+/) {
				$s = $1;
613 614 615 616 617 618 619 620 621 622
			} elsif (/\w+\W+(\w+)\W*\(\s*\)$/s) {
				# K&R C
				next;
			} elsif (/\w+\W+\w+\W*\(.*\)$/s) {
				while (not /\(\)$/s) {
					s/[^\(\)]*\)$/\)/s;
					s/\([^\(\)]*\)\)$/\)/s;
				}
				s/\(void\)//;
				/(\w+)\W*\(\)/s;
623
				$s = $1;
624 625
			} elsif (/\(/ and not (/=/)) {
				print STDERR "File $file: cannot parse: $_;\n";
626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664
				next;
			} else {
				next;
			}

			$syms{$s} = 1;
			$kind{$s} = $k;

			$p = $plats;
			$a = $algs;
			$a .= ",BF" if($s =~ /EVP_bf/);
			$a .= ",CAST" if($s =~ /EVP_cast/);
			$a .= ",DES" if($s =~ /EVP_des/);
			$a .= ",DSA" if($s =~ /EVP_dss/);
			$a .= ",IDEA" if($s =~ /EVP_idea/);
			$a .= ",MD2" if($s =~ /EVP_md2/);
			$a .= ",MD4" if($s =~ /EVP_md4/);
			$a .= ",MD5" if($s =~ /EVP_md5/);
			$a .= ",RC2" if($s =~ /EVP_rc2/);
			$a .= ",RC4" if($s =~ /EVP_rc4/);
			$a .= ",RC5" if($s =~ /EVP_rc5/);
			$a .= ",RIPEMD" if($s =~ /EVP_ripemd/);
			$a .= ",SHA" if($s =~ /EVP_sha/);
			$a .= ",RSA" if($s =~ /EVP_(Open|Seal)(Final|Init)/);
			$a .= ",RSA" if($s =~ /PEM_Seal(Final|Init|Update)/);
			$a .= ",RSA" if($s =~ /RSAPrivateKey/);
			$a .= ",RSA" if($s =~ /SSLv23?_((client|server)_)?method/);

			$platform{$s} .= ','.$p;
			$algorithm{$s} .= ','.$a;

			if (defined($rename{$s})) {
				(my $r, my $p) = split(/:/,$rename{$s});
				my @ip = map { /^!(.*)$/ ? $1 : "!".$_ } split /,/, $p;
				$syms{$r} = 1;
				$kind{$r} = $kind{$s}."(".$s.")";
				$algorithm{$r} = $algorithm{$s};
				$platform{$r} = $platform{$s}.",".$p;
				$platform{$s} .= ','.join(',', @ip).','.join(',', @ip);
665
			}
666 667 668
		}
	}

669
	# Prune the returned symbols
670

671 672 673
        delete $syms{"bn_dump1"};
	$platform{"BIO_s_log"} .= ",!WIN32,!WIN16,!macintosh";

674 675 676 677 678
	$platform{"PEM_read_NS_CERT_SEQ"} = "VMS";
	$platform{"PEM_write_NS_CERT_SEQ"} = "VMS";
	$platform{"PEM_read_P8_PRIV_KEY_INFO"} = "VMS";
	$platform{"PEM_write_P8_PRIV_KEY_INFO"} = "VMS";

679 680 681 682 683 684 685
	# Info we know about

	push @ret, map { $_."\\".&info_string($_,"EXIST",
					      $platform{$_},
					      $kind{$_},
					      $algorithm{$_}) } keys %syms;

R
Richard Levitte 已提交
686 687 688 689
	if (keys %unknown_algorithms) {
		print STDERR "WARNING: mkdef.pl doesn't know the following algorithms:\n";
		print STDERR "\t",join("\n\t",keys %unknown_algorithms),"\n";
	}
690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716
	return(@ret);
}

sub info_string {
	(my $symbol, my $exist, my $platforms, my $kind, my $algorithms) = @_;

	my %a = defined($algorithms) ?
	    map { $_ => 1 } split /,/, $algorithms : ();
	my $pl = defined($platforms) ? $platforms : "";
	my %p = map { $_ => 0 } split /,/, $pl;
	my $k = defined($kind) ? $kind : "FUNCTION";
	my $ret;

	# We do this, because if there's code like the following, it really
	# means the function exists in all cases and should therefore be
	# everywhere.  By increasing and decreasing, we may attain 0:
	#
	# ifndef WIN16
	#    int foo();
	# else
	#    int _fat foo();
	# endif
	foreach $platform (split /,/, $pl) {
		if ($platform =~ /^!(.*)$/) {
			$p{$1}--;
		} else {
			$p{$platform}++;
717
		}
718
	}
719 720
	foreach $platform (keys %p) {
		if ($p{$platform} == 0) { delete $p{$platform}; }
721 722
	}

723 724
	delete $p{""};
	delete $a{""};
725

726 727 728 729 730 731 732 733 734 735 736
	$ret = $exist;
	$ret .= ":".join(',',map { $p{$_} < 0 ? "!".$_ : $_ } keys %p);
	$ret .= ":".$k;
	$ret .= ":".join(',',keys %a);
	return $ret;
}

sub maybe_add_info {
	(my $name, *nums, my @symbols) = @_;
	my $sym;
	my $new_info = 0;
737
	my %syms=();
738 739 740 741 742 743 744 745 746 747

	print STDERR "Updating $name info\n";
	foreach $sym (@symbols) {
		(my $s, my $i) = split /\\/, $sym;
		$i =~ s/^(.*?:.*?:\w+)(\(\w+\))?/$1/;
		if (defined($nums{$s})) {
			(my $n, my $dummy) = split /\\/, $nums{$s};
			if (!defined($dummy) || $i ne $dummy) {
				$nums{$s} = $n."\\".$i;
				$new_info++;
748
				print STDERR "DEBUG: maybe_add_info for $s: \"$dummy\" => \"$i\"\n" if $debug;
749 750
			}
		}
751 752 753 754 755 756 757 758
		$syms{sym} = 1;
	}

	my @s=sort { &parse_number($nums{$a},"n") <=> &parse_number($nums{$b},"n") } keys %nums;
	foreach $sym (@s) {
		(my $n, my $i) = split /\\/, $nums{$sym};
		if (!defined($syms{sym})) {
			$new_info++;
759
			print STDERR "DEBUG: maybe_add_info for $sym: -> undefined\n if $debug";
760
		}
761 762 763
	}
	if ($new_info) {
		print STDERR "$new_info old symbols got an info update\n";
764 765 766
		if (!$do_rewrite) {
			print STDERR "You should do a rewrite to fix this.\n";
		}
767 768 769
	} else {
		print STDERR "No old symbols needed info update\n";
	}
770
}
771

D
Dr. Stephen Henson 已提交
772 773
sub print_test_file
{
774
	(*OUT,my $name,*nums,my @symbols)=@_;
775
	my $n = 1; my @e; my @r;
776 777 778 779 780 781 782 783 784
	my $sym; my $prev = ""; my $prefSSLeay;

	(@e)=grep(/^SSLeay\\.*?:.*?:FUNCTION/,@symbols);
	(@r)=grep(/^\w+\\.*?:.*?:FUNCTION/ && !/^SSLeay\\.*?:.*?:FUNCTION/,@symbols);
	@symbols=((sort @e),(sort @r));

	foreach $sym (@symbols) {
		(my $s, my $i) = $sym =~ /^(.*?)\\(.*)$/;
		if ($s ne $prev) {
785
			if (!defined($nums{$s})) {
786
				print STDERR "Warning: $s does not have a number assigned\n"
787
						if(!$do_update);
788
			} else {
789 790
				$n=$nums{$s};
				print OUT "\t$s();\n";
791
			}
D
Dr. Stephen Henson 已提交
792
		}
793
		$prev = $s;	# To avoid duplicates...
D
Dr. Stephen Henson 已提交
794 795 796
	}
}

797
sub print_def_file
798
{
799
	(*OUT,my $name,*nums,my @symbols)=@_;
800
	my $n = 1; my @e; my @r; my @v;
801

802
	if ($W32)
803 804 805 806 807 808
		{ $name.="32"; }
	else
		{ $name.="16"; }

	print OUT <<"EOF";
;
809
; Definition file for the DLL version of the $name library from OpenSSL
810 811 812 813
;

LIBRARY         $name

814
DESCRIPTION     'OpenSSL $name - http://www.openssl.org/'
815 816 817

EOF

818
	if (!$W32) {
819 820 821 822 823 824 825 826 827 828
		print <<"EOF";
CODE            PRELOAD MOVEABLE
DATA            PRELOAD MOVEABLE SINGLE

EXETYPE		WINDOWS

HEAPSIZE	4096
STACKSIZE	8192

EOF
829
	}
830 831 832

	print "EXPORTS\n";

833 834
	(@e)=grep(/^SSLeay\\.*?:.*?:FUNCTION/,@symbols);
	(@r)=grep(/^\w+\\.*?:.*?:FUNCTION/ && !/^SSLeay\\.*?:.*?:FUNCTION/,@symbols);
835 836
	(@v)=grep(/^\w+\\.*?:.*?:VARIABLE/,@symbols);
	@symbols=((sort @e),(sort @r), (sort @v));
837 838


839 840
	foreach $sym (@symbols) {
		(my $s, my $i) = $sym =~ /^(.*?)\\(.*)$/;
841 842
		my $v = 0;
		$v = 1 if $sym=~ /^\w+\\.*?:.*?:VARIABLE/;
843 844
		if (!defined($nums{$s})) {
			printf STDERR "Warning: $s does not have a number assigned\n"
U
Ulf Möller 已提交
845
					if(!$do_update);
846
		} else {
847
			(my $n, my $i) = split /\\/, $nums{$s};
848
			my %pf = ();
849 850
			my @p = split(/,/, ($i =~ /^[^:]*:([^:]*):/,$1));
			my @a = split(/,/, ($i =~ /^[^:]*:[^:]*:[^:]*:([^:]*)/,$1));
851 852 853 854 855 856
			# @p_purged must contain hardware platforms only
			my @p_purged = ();
			foreach $ptmp (@p) {
				push @p_purged, $ptmp;
			}
			my $negatives = !!grep(/^!/,@p);
857
			# It is very important to check NT before W32
858 859 860 861 862 863 864 865 866
			if ((($NT && (!@p_purged
				      || (!$negatives && grep(/^WINNT$/,@p))
				      || ($negatives && !grep(/^!WINNT$/,@p))))
			     || ($W32 && (!@p_purged
					  || (!$negatives && grep(/^WIN32$/,@p))
					  || ($negatives && !grep(/^!WIN32$/,@p))))
			     || ($W16 && (!@p_purged
					  || (!$negatives && grep(/^WIN16$/,@p))
					  || ($negatives && !grep(/^!WIN16$/,@p)))))
867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883
			    && (!@a || (!$no_rc2 || !grep(/^RC2$/,@a)))
			    && (!@a || (!$no_rc4 || !grep(/^RC4$/,@a)))
			    && (!@a || (!$no_rc5 || !grep(/^RC5$/,@a)))
			    && (!@a || (!$no_idea || !grep(/^IDEA$/,@a)))
			    && (!@a || (!$no_des || !grep(/^DES$/,@a)))
			    && (!@a || (!$no_bf || !grep(/^BF$/,@a)))
			    && (!@a || (!$no_cast || !grep(/^CAST$/,@a)))
			    && (!@a || (!$no_md2 || !grep(/^MD2$/,@a)))
			    && (!@a || (!$no_md4 || !grep(/^MD4$/,@a)))
			    && (!@a || (!$no_md5 || !grep(/^MD5$/,@a)))
			    && (!@a || (!$no_sha || !grep(/^SHA$/,@a)))
			    && (!@a || (!$no_ripemd || !grep(/^RIPEMD$/,@a)))
			    && (!@a || (!$no_mdc2 || !grep(/^MDC2$/,@a)))
			    && (!@a || (!$no_rsa || !grep(/^RSA$/,@a)))
			    && (!@a || (!$no_dsa || !grep(/^DSA$/,@a)))
			    && (!@a || (!$no_dh || !grep(/^DH$/,@a)))
			    && (!@a || (!$no_hmac || !grep(/^HMAC$/,@a)))
884
			    && (!@a || (!$no_aes || !grep(/^AES$/,@a)))
885
			    && (!@a || (!$no_krb5 || !grep(/^KRB5$/,@a)))
886 887
			    && (!@a || (!$no_fp_api || !grep(/^FP_API$/,@a)))
			    ) {
888 889 890 891 892
				if($v) {
					printf OUT "    %s%-40s@%-8d DATA\n",($W32)?"":"_",$s,$n;
				} else {
					printf OUT "    %s%-40s@%d\n",($W32)?"":"_",$s,$n;
				}
893
			}
894 895 896 897 898 899 900 901 902 903 904 905
#			print STDERR "DEBUG: \"$sym\" (@p):",
#			" negatives:", $negatives,
#			" 16:", !!($W16 && (!@p_purged
#					    || (!$negatives && grep(/^WIN16$/,@p))
#					    || ($negatives && !grep(/^!WIN16$/,@p)))),
#			" 32:", !!($W32 && (!@p_purged
#					    || (!$negatives && grep(/^WIN32$/,@p))
#					    || ($negatives && !grep(/^!WIN32$/,@p)))),
#			" NT:", !!($NT && (!@p_purged
#					   || (!$negatives && grep(/^WINNT$/,@p))
#					   || ($negatives && !grep(/^!WINNT$/,@p)))),
#			"\n";
906 907
		}
	}
908 909
	printf OUT "\n";
}
910 911

sub load_numbers
912 913 914
{
	my($name)=@_;
	my(@a,%ret);
915

916
	$max_num = 0;
917 918
	$num_noinfo = 0;
	$prev = "";
919

920
	open(IN,"<$name") || die "unable to open $name:$!\n";
921
	while (<IN>) {
922 923 924 925
		chop;
		s/#.*$//;
		next if /^\s*$/;
		@a=split;
926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942
		if (defined $ret{$a[0]}) {
			print STDERR "Warning: Symbol '",$a[0],"' redefined. old=",$ret{$a[0]},", new=",$a[1],"\n";
		}
		if ($max_num > $a[1]) {
			print STDERR "Warning: Number decreased from ",$max_num," to ",$a[1],"\n";
		}
		if ($max_num == $a[1]) {
			# This is actually perfectly OK
			#print STDERR "Warning: Symbol ",$a[0]," has same number as previous ",$prev,": ",$a[1],"\n";
		}
		if ($#a < 2) {
			# Existence will be proven later, in do_defs
			$ret{$a[0]}=$a[1];
			$num_noinfo++;
		} else {
			$ret{$a[0]}=$a[1]."\\".$a[2]; # \\ is a special marker
		}
943
		$max_num = $a[1] if $a[1] > $max_num;
944 945 946 947 948 949 950 951 952
		$prev=$a[0];
	}
	if ($num_noinfo) {
		print STDERR "Warning: $num_noinfo symbols were without info.";
		if ($do_rewrite) {
			printf STDERR "  The rewrite will fix this.\n";
		} else {
			printf STDERR "  You should do a rewrite to fix this.\n";
		}
953
	}
954 955
	close(IN);
	return(%ret);
956
}
957

958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985
sub parse_number
{
	(my $str, my $what) = @_;
	(my $n, my $i) = split(/\\/,$str);
	if ($what eq "n") {
		return $n;
	} else {
		return $i;
	}
}

sub rewrite_numbers
{
	(*OUT,$name,*nums,@symbols)=@_;
	my $thing;

	print STDERR "Rewriting $name\n";

	my @r = grep(/^\w+\\.*?:.*?:\w+\(\w+\)/,@symbols);
	my $r; my %r; my %rsyms;
	foreach $r (@r) {
		(my $s, my $i) = split /\\/, $r;
		my $a = $1 if $i =~ /^.*?:.*?:\w+\((\w+)\)/;
		$i =~ s/^(.*?:.*?:\w+)\(\w+\)/$1/;
		$r{$a} = $s."\\".$i;
		$rsyms{$s} = 1;
	}

986 987 988 989 990 991
	my %syms = ();
	foreach $_ (@symbols) {
		(my $n, my $i) = split /\\/;
		$syms{$n} = 1;
	}

992 993 994
	my @s=sort { &parse_number($nums{$a},"n") <=> &parse_number($nums{$b},"n") } keys %nums;
	foreach $sym (@s) {
		(my $n, my $i) = split /\\/, $nums{$sym};
995
		print STDERR "DEBUG: rewrite_numbers for sym = ",$sym,": i = ",$i,", n = ",$n,", rsym{sym} = ",$rsyms{$sym},"syms{sym} = ",$syms{$sym},"\n" if $debug;
996 997
		next if defined($i) && $i =~ /^.*?:.*?:\w+\(\w+\)/;
		next if defined($rsyms{$sym});
998 999
		$i="NOEXIST::FUNCTION:"
			if !defined($i) || $i eq "" || !defined($syms{$sym});
1000 1001 1002 1003 1004 1005 1006 1007
		printf OUT "%s%-40s%d\t%s\n","",$sym,$n,$i;
		if (exists $r{$sym}) {
			(my $s, $i) = split /\\/,$r{$sym};
			printf OUT "%s%-40s%d\t%s\n","",$s,$n,$i;
		}
	}
}

1008
sub update_numbers
1009
{
1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034
	(*OUT,$name,*nums,my $start_num, my @symbols)=@_;
	my $new_syms = 0;

	print STDERR "Updating $name numbers\n";

	my @r = grep(/^\w+\\.*?:.*?:\w+\(\w+\)/,@symbols);
	my $r; my %r; my %rsyms;
	foreach $r (@r) {
		(my $s, my $i) = split /\\/, $r;
		my $a = $1 if $i =~ /^.*?:.*?:\w+\((\w+)\)/;
		$i =~ s/^(.*?:.*?:\w+)\(\w+\)/$1/;
		$r{$a} = $s."\\".$i;
		$rsyms{$s} = 1;
	}

	foreach $sym (@symbols) {
		(my $s, my $i) = $sym =~ /^(.*?)\\(.*)$/;
		next if $i =~ /^.*?:.*?:\w+\(\w+\)/;
		next if defined($rsyms{$sym});
		die "ERROR: Symbol $sym had no info attached to it."
		    if $i eq "";
		if (!exists $nums{$s}) {
			$new_syms++;
			printf OUT "%s%-40s%d\t%s\n","",$s, ++$start_num,$i;
			if (exists $r{$s}) {
1035
				($s, $i) = split /\\/,$r{$s};
1036 1037
				printf OUT "%s%-40s%d\t%s\n","",$s, $start_num,$i;
			}
1038
		}
1039
	}
1040 1041
	if($new_syms) {
		print STDERR "$new_syms New symbols added\n";
1042
	} else {
1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065
		print STDERR "No New symbols Added\n";
	}
}

sub check_existing
{
	(*nums, my @symbols)=@_;
	my %existing; my @remaining;
	@remaining=();
	foreach $sym (@symbols) {
		(my $s, my $i) = $sym =~ /^(.*?)\\(.*)$/;
		$existing{$s}=1;
	}
	foreach $sym (keys %nums) {
		if (!exists $existing{$sym}) {
			push @remaining, $sym;
		}
	}
	if(@remaining) {
		print STDERR "The following symbols do not seem to exist:\n";
		foreach $sym (@remaining) {
			print STDERR "\t",$sym,"\n";
		}
1066
	}
1067
}
1068