mkdef.pl 30.1 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 455 456
			} elsif (/^\#\s*define\s+(\w+)\s+(\w+)/
				 && $symhacking) {
				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;
			}
D
 
Dr. Stephen Henson 已提交
494
			if (/^\s*DECLARE_STACK_OF\s*\(\s*(\w*)\s*\)/) {
495
				next;
496
			} elsif (/^\s*DECLARE_ASN1_ENCODE_FUNCTIONS\s*\(\s*(\w*)\s*,\s*(\w*)\s*,\s*(\w*)\s*\)/) {
497 498 499
				$def .= "int d2i_$3(void);";
				$def .= "int i2d_$3(void);";
				$def .= "OPENSSL_EXTERN int $2_it;";
500
				next;
501
			} elsif (/^\s*DECLARE_ASN1_FUNCTIONS_fname\s*\(\s*(\w*)\s*,\s*(\w*)\s*,\s*(\w*)\s*\)/) {
502 503 504 505 506
				$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;";
507 508
			} elsif (/^\s*DECLARE_ASN1_FUNCTIONS\s*\(\s*(\w*)\s*\)/ ||
				/^\s*DECLARE_ASN1_FUNCTIONS_const\s*\(\s*(\w*)\s*\)/) {
509 510 511 512 513
				$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;";
514
				next;
515
			} elsif (/^\s*DECLARE_ASN1_ENCODE_FUNCTIONS_const\s*\(\s*(\w*)\s*,\s*(\w*)\s*\)/) {
516 517 518
				$def .= "int d2i_$2(void);";
				$def .= "int i2d_$2(void);";
				$def .= "OPENSSL_EXTERN int $2_it;";
519 520
				next;
			} elsif (/^\s*DECLARE_ASN1_FUNCTIONS_name\s*\(\s*(\w*)\s*,\s*(\w*)\s*\)/) {
521 522 523 524 525
				$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;";
526 527
				next;
			} elsif (/^\s*DECLARE_ASN1_ITEM\s*\(\s*(\w*)\s*,(\w*)\s*\)/) {
528
				$def .= "OPENSSL_EXTERN int $1_it;";
529
				next;
530 531
			} elsif (/^\s*DECLARE_PKCS12_STACK_OF\s*\(\s*(\w*)\s*\)/) {
				next;
D
 
Dr. Stephen Henson 已提交
532
			} elsif (/^\s*DECLARE_ASN1_SET_OF\s*\(\s*(\w*)\s*\)/) {
533
				next;
534
			} elsif (/^DECLARE_PEM_rw\s*\(\s*(\w*)\s*,/ ||
535 536
				 /^DECLARE_PEM_rw_cb\s*\(\s*(\w*)\s*,/ ) {
				# Things not in Win16
537 538 539 540 541 542 543 544 545 546
				$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).";";
547
				# Things that are everywhere
548 549
				$def .= "int PEM_read_bio_$1(void);";
				$def .= "int PEM_write_bio_$1(void);";
550 551
			} elsif (/^DECLARE_PEM_write\s*\(\s*(\w*)\s*,/ ||
				     /^DECLARE_PEM_write_cb\s*\(\s*(\w*)\s*,/ ) {
552
				# Things not in Win16
553 554 555 556 557 558 559 560 561
				$def .=
				    "#INFO:"
					.join(',',"!WIN16",@current_platforms).":"
					    .join(',',@current_algorithms).";";
				$def .= "int PEM_write_$1(void);";
				$def .=
				    "#INFO:"
					.join(',',@current_platforms).":"
					    .join(',',@current_algorithms).";";
562
				# Things that are everywhere
563
				$def .= "int PEM_write_bio_$1(void);";
564 565
			} elsif (/^DECLARE_PEM_read\s*\(\s*(\w*)\s*,/ ||
				     /^DECLARE_PEM_read_cb\s*\(\s*(\w*)\s*,/ ) {
566
				# Things not in Win16
567 568 569 570 571 572 573 574 575
				$def .=
				    "#INFO:"
					.join(',',"!WIN16",@current_platforms).":"
					    .join(',',@current_algorithms).";";
				$def .= "int PEM_read_$1(void);";
				$def .=
				    "#INFO:"
					.join(',',@current_platforms).":"
					    .join(',',@current_algorithms).";";
576
				# Things that are everywhere
577
				$def .= "int PEM_read_bio_$1(void);";
578
			} elsif (
579 580 581
				($tag{'TRUE'} != -1)
				&& ($tag{'CONST_STRICT'} != 1)
				 )
582
				{
583
					if (/\{|\/\*|\([^\)]*$/) {
584 585 586 587
						$line = $_;
					} else {
						$def .= $_;
					}
588 589 590
				}
			}
		close(IN);
591

592 593 594
		my $algs;
		my $plays;

595
		foreach (split /;/, $def) {
596
			my $s; my $k = "FUNCTION"; my $p; my $a;
597 598
			s/^[\n\s]*//g;
			s/[\n\s]*$//g;
599
			next if(/\#undef/);
600
			next if(/typedef\W/);
601 602 603 604 605 606 607 608 609 610 611
			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;
612 613 614 615 616 617 618 619 620 621
			} 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;
622
				$s = $1;
623 624
			} elsif (/\(/ and not (/=/)) {
				print STDERR "File $file: cannot parse: $_;\n";
625 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
				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);
664
			}
665 666 667
		}
	}

668
	# Prune the returned symbols
669

670 671 672 673 674 675 676 677 678 679
        delete $syms{"bn_dump1"};
	$platform{"BIO_s_log"} .= ",!WIN32,!WIN16,!macintosh";

	# Info we know about

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

R
Richard Levitte 已提交
680 681 682 683
	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";
	}
684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710
	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}++;
711
		}
712
	}
713 714
	foreach $platform (keys %p) {
		if ($p{$platform} == 0) { delete $p{$platform}; }
715 716
	}

717 718
	delete $p{""};
	delete $a{""};
719

720 721 722 723 724 725 726 727 728 729 730
	$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;
731
	my %syms=();
732 733 734 735 736 737 738 739 740 741

	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++;
742
				print STDERR "DEBUG: maybe_add_info for $s: \"$dummy\" => \"$i\"\n" if $debug;
743 744
			}
		}
745 746 747 748 749 750 751 752
		$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++;
753
			print STDERR "DEBUG: maybe_add_info for $sym: -> undefined\n if $debug";
754
		}
755 756 757
	}
	if ($new_info) {
		print STDERR "$new_info old symbols got an info update\n";
758 759 760
		if (!$do_rewrite) {
			print STDERR "You should do a rewrite to fix this.\n";
		}
761 762 763
	} else {
		print STDERR "No old symbols needed info update\n";
	}
764
}
765

D
Dr. Stephen Henson 已提交
766 767
sub print_test_file
{
768
	(*OUT,my $name,*nums,my @symbols)=@_;
769
	my $n = 1; my @e; my @r;
770 771 772 773 774 775 776 777 778
	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) {
779
			if (!defined($nums{$s})) {
780
				print STDERR "Warning: $s does not have a number assigned\n"
781
						if(!$do_update);
782
			} else {
783 784
				$n=$nums{$s};
				print OUT "\t$s();\n";
785
			}
D
Dr. Stephen Henson 已提交
786
		}
787
		$prev = $s;	# To avoid duplicates...
D
Dr. Stephen Henson 已提交
788 789 790
	}
}

791
sub print_def_file
792
{
793
	(*OUT,my $name,*nums,my @symbols)=@_;
794
	my $n = 1; my @e; my @r; my @v;
795

796
	if ($W32)
797 798 799 800 801 802
		{ $name.="32"; }
	else
		{ $name.="16"; }

	print OUT <<"EOF";
;
803
; Definition file for the DLL version of the $name library from OpenSSL
804 805 806 807
;

LIBRARY         $name

808
DESCRIPTION     'OpenSSL $name - http://www.openssl.org/'
809 810 811

EOF

812
	if (!$W32) {
813 814 815 816 817 818 819 820 821 822
		print <<"EOF";
CODE            PRELOAD MOVEABLE
DATA            PRELOAD MOVEABLE SINGLE

EXETYPE		WINDOWS

HEAPSIZE	4096
STACKSIZE	8192

EOF
823
	}
824 825 826

	print "EXPORTS\n";

827 828
	(@e)=grep(/^SSLeay\\.*?:.*?:FUNCTION/,@symbols);
	(@r)=grep(/^\w+\\.*?:.*?:FUNCTION/ && !/^SSLeay\\.*?:.*?:FUNCTION/,@symbols);
829 830
	(@v)=grep(/^\w+\\.*?:.*?:VARIABLE/,@symbols);
	@symbols=((sort @e),(sort @r), (sort @v));
831 832


833 834
	foreach $sym (@symbols) {
		(my $s, my $i) = $sym =~ /^(.*?)\\(.*)$/;
835 836
		my $v = 0;
		$v = 1 if $sym=~ /^\w+\\.*?:.*?:VARIABLE/;
837 838
		if (!defined($nums{$s})) {
			printf STDERR "Warning: $s does not have a number assigned\n"
U
Ulf Möller 已提交
839
					if(!$do_update);
840
		} else {
841
			(my $n, my $i) = split /\\/, $nums{$s};
842
			my %pf = ();
843 844
			my @p = split(/,/, ($i =~ /^[^:]*:([^:]*):/,$1));
			my @a = split(/,/, ($i =~ /^[^:]*:[^:]*:[^:]*:([^:]*)/,$1));
845 846 847 848 849 850
			# @p_purged must contain hardware platforms only
			my @p_purged = ();
			foreach $ptmp (@p) {
				push @p_purged, $ptmp;
			}
			my $negatives = !!grep(/^!/,@p);
851
			# It is very important to check NT before W32
852 853 854 855 856 857 858 859 860
			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)))))
861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877
			    && (!@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)))
878
			    && (!@a || (!$no_aes || !grep(/^AES$/,@a)))
879
			    && (!@a || (!$no_krb5 || !grep(/^KRB5$/,@a)))
880 881
			    && (!@a || (!$no_fp_api || !grep(/^FP_API$/,@a)))
			    ) {
882 883 884 885 886
				if($v) {
					printf OUT "    %s%-40s@%-8d DATA\n",($W32)?"":"_",$s,$n;
				} else {
					printf OUT "    %s%-40s@%d\n",($W32)?"":"_",$s,$n;
				}
887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903
#			} else {
#				print STDERR "DEBUG: \"$sym\" (@p):",
#				" rsaref:", !!(!@p
#					       || (!$negatives
#						   && ($rsaref || !grep(/^RSAREF$/,@p)))
#					       || ($negatives
#						   && (!$rsaref || !grep(/^!RSAREF$/,@p))))?1:0,
#				" 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";
904
			}
905 906
		}
	}
907 908
	printf OUT "\n";
}
909 910

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

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

919
	open(IN,"<$name") || die "unable to open $name:$!\n";
920
	while (<IN>) {
921 922 923 924
		chop;
		s/#.*$//;
		next if /^\s*$/;
		@a=split;
925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941
		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
		}
942
		$max_num = $a[1] if $a[1] > $max_num;
943 944 945 946 947 948 949 950 951
		$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";
		}
952
	}
953 954
	close(IN);
	return(%ret);
955
}
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
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;
	}

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

991 992 993
	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};
994
		print STDERR "DEBUG: rewrite_numbers for sym = ",$sym,": i = ",$i,", n = ",$n,", rsym{sym} = ",$rsyms{$sym},"syms{sym} = ",$syms{$sym},"\n" if $debug;
995 996
		next if defined($i) && $i =~ /^.*?:.*?:\w+\(\w+\)/;
		next if defined($rsyms{$sym});
997 998
		$i="NOEXIST::FUNCTION:"
			if !defined($i) || $i eq "" || !defined($syms{$sym});
999 1000 1001 1002 1003 1004 1005 1006
		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;
		}
	}
}

1007
sub update_numbers
1008
{
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
	(*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}) {
1034
				($s, $i) = split /\\/,$r{$s};
1035 1036
				printf OUT "%s%-40s%d\t%s\n","",$s, $start_num,$i;
			}
1037
		}
1038
	}
1039 1040
	if($new_syms) {
		print STDERR "$new_syms New symbols added\n";
1041
	} else {
1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064
		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";
		}
1065
	}
1066
}
1067