On 2 juil. 2012, at 10:45, Sylvain Le Gall wrote: > 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.
Very nice, thanks for the link. I was able to get why3ide to work changing only the WHY3DATA environment variable and the .why3.conf file, but I'll definitely keep this in mind if I need to relocate other applications. Thanks again, Alan _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list