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

[Stefan Scott Alexander]

On Mon, Aug 17, 2015 at 10:01 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:

>
> Yes, it's easy to do.  You don't need urweb.js.  All that's necessary is
> to install the proper .so shared libraries.  You can use standard UNIX
> tools to see which shared libraries an executable depends on.
>

Hmm... I just tried copying /usr/local/lib/liburweb_*, by using `tar`
(since it preserves symlinks etc.) as recommended here:


http://stackoverflow.com/questions/10094604/how-do-i-copy-symbolic-links-between-servers

(Actually I didn't pipe it via stdout - I simply saved a tar, uploaded
using sftp, and untar'ed to rebuild the directory /usr/local/lib/ - since
this way was simpler and safer.)

Now I've reattempted executing ./myProgram.exe - and I'm getting the same
error message as before:

./myProgram.exe: error while loading shared libraries: liburweb_http.so.0:
cannot open shared object file: No such file or directory

Maybe there's some additional config or environment settings that need to
be done (which normally get done when building & installing the compiler),
in order to tell the executable where to find the shared libraries?

###
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150817/012e70eb/attachment.html>