2012/12/30 Jasper St. Pierre <[email protected]>: > Can we just redirect build.gnome.org to ostree.gnome.org ? > > Having it build apps or something like that on top of its root tree as a > separate build process would be nice.
FWIW, I'm currently testing building core apps with ostree, as well as fixing ostree enough to be dogfoodable for me. I'll report back when I have it finished, but so far it seems to work. However, there is still a value in keeping jhbuild running, as application development with jhbuild is a lot faster than ostree/ostbuild, in particular given the "setup costs" of building the entirety of gnomeos just to get running. This until we have an SDK and application story... Giovanni > > On Sun, Dec 30, 2012 at 12:12 PM, Cosimo Cecchi <[email protected]> wrote: >> >> Maintaining the Debian jhbuild server running was quite a bit of manual >> work for no clear benefit, so I turned it off at some point this fall. >> If it's still useful for people, I can try to revive it but IMO Colin's >> build server in #testable is a much better solution (even if it's not based >> on jhbuild). Maybe we should try to have it also build another wider >> gnome-apps-like moduleset? >> >> Cosimo >> >> >> On Sun, Dec 30, 2012 at 5:50 PM, Andre Klapper <[email protected]> wrote: >>> >>> http://build.gnome.org/ mentions 3.6 (past), the Fedora one seems to be >>> offline, and the Debian one has not been updated since October. >>> >>> Does anybody feel responsible for this? >>> >>> andre >>> -- >>> Andre Klapper | [email protected] >>> http://blogs.gnome.org/aklapper/ >>> >>> _______________________________________________ >>> desktop-devel-list mailing list >>> [email protected] >>> https://mail.gnome.org/mailman/listinfo/desktop-devel-list >> >> >> >> _______________________________________________ >> desktop-devel-list mailing list >> [email protected] >> https://mail.gnome.org/mailman/listinfo/desktop-devel-list > > > > > -- > Jasper > > _______________________________________________ > desktop-devel-list mailing list > [email protected] > https://mail.gnome.org/mailman/listinfo/desktop-devel-list _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
