[Ur] Trouble getting started. Link errors.
Adam Chlipala
adamc at impredicative.com
Tue Jan 3 08:33:23 EST 2012
Previous message:
[Ur] Trouble getting started. Link errors.
Next message:
[Ur] Trouble getting started. Link errors.
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Oh, and one more thing: are you sure 'ldconfig' ran successfully as part of 'make install'?
Previous message:
[Ur] Trouble getting started. Link errors.
Next message:
[Ur] Trouble getting started. Link errors.
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Ur mailing list