Hi, 2012/7/2 Alan Schmitt <alan.schm...@polytechnique.org>: > On 2 juil. 2012, at 10:15, Sylvain Le Gall wrote: > >> 2012/7/2 Alan Schmitt <alan.schm...@polytechnique.org>: >>> I'm need to build some caml programs that will be used in a lab for a class >>> that I'll teach, and to simplify their installation I'm wondering if I can >>> use godi in a relocatable way. What I want to do is: >>> - get everything compiled and installed in my ~/godi >>> - do a tar of this directory so that each user can fetch it and put it in >>> their home dir >>> - tell the users to add the ~/godi/bin and ~/godi/sbin directories in their >>> path >>> >>> Would this work, or are there places in godi where absolute paths are used? >>> If so, is it possible to patch them after copying the directory? >> >> GODI is writing paths in several places, but it seems possible to >> "bundle" all of them by overriding a couple of variables. >> >> Have a look at ocsigen-bundler >> (http://forge.ocamlcore.org/projects/ocsigen-bundler), it has been >> recently adapted to bundle data from GODI (i.e. to produce a >> standalone ocsigen application). >> >> Cheers >> Sylvain >> >> p.s: however I don't think it is easy to relocate godi and have it >> continue to work (i.e. to be able to use godi_console) > > I think this is exactly what I want: I need why3 (including why3ide) and > alt-ergo for this class. However looking at the code I don't see which > variables need to be overwritten to relocate an executable (and the libraries > it depends on). >
See daemon.sh. This is the launcher script. http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=ocsigen-bundler/ocsigen-bundler;a=headblob;f=/src/lib/daemon.sh I think you should separate variables of daemon.sh and put it in a loadable scripts (put it in etc/). Then you'll have to create why3.sh and alter-ego.sh that loads it... There are probably more work to do. I am willing to make this bundler handle generic exec, rather than just ocsigen -- because I will need to bundle some other daemon as well. Feel free to send me patches/comments/request for enhancements. Cheers Sylvain _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
