Lines Matching refs:library

645 	my ($library, $abi) = @_;
653 	if (exists($model_loaded{"$library|$abi"})) {
654 		if ($model_loaded{"$library|$abi"} eq '__FAILED__') {
656 		} elsif ($model_loaded{"$library|$abi"}) {
663 	$loaded = 1 if (load_model_versioned_lib($library, $abi));
669 		my $tweaks = load_tweaks($library, $abi);
671 		$model_loaded{"$library|$abi"} = $ok;
673 		$model_loaded{"$library|$abi"} = '__FAILED__';
737 	my ($library, $abi) = @_;
764 	if (! -f $library) {
775 	if ($library =~ /'/) {
784 	$output = `$cmd_pvs -dos '$library' 2>/dev/null`;
798 	my $libbase = basename($library);
804 	my $is_system_lib = is_system_library($library, $abi);
841 			    `$cmd_pvs -dos -N '$vers' '$library' 2>/dev/null`;
902 		$model{"$library|$abi|$symbol"} = $class;
911 	$libtmp = "load_model_versioned_lib,$library,$abi:";