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). Alan _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
