Re: [Ur] Trouble getting started. Link errors.

[Adam Chlipala]

Oh, and one more thing: are you sure 'ldconfig' ran successfully as part 
of 'make install'?

_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur