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

Reply via email to