On Mon, Aug 17, 2015 at 10:01 PM, Adam Chlipala <[email protected]> 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? ###
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
