[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
Mon Aug 17 21:01:45 EDT 2015


On 08/17/2015 08:26 PM, Stefan Scott Alexander wrote:
> TL;DR: Is it possible to do a minimal or "bare-bones" deployment 
> *without* building & installing the Ur/Web compiler on the *remote* 
> machine - eg, simply by manually copying the /usr/local/libliburweb_* 
> files (plus /usr/local/lib/urweb/js/urweb.js) to the remote machine - 
> while of course also taking care to preserve the same owners/groups, 
> permissions and symlinks?

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150817/c7500d35/attachment.html>


More information about the Ur mailing list