[Ur] "Bare-bones" deployment *without* the compiler - eg, manually copy just the /usr/local/libliburweb_* files to the *remote* machine?

Adam Chlipala adamc at csail.mit.edu
Tue Aug 18 08:44:09 EDT 2015


I'm not sure if this is out-of-date advice, but: sometimes running 
'ldconfig' as root helps.

On 08/17/2015 10:26 PM, Stefan Scott Alexander wrote:
> Well, I found something that works:
>
> LD_LIBRARY_PATH=/usr/local/lib ./myProgram.exe




More information about the Ur mailing list