I think that is is possible to add an unofficial CS target to travis-racket (https://github.com/greghendershott/travis-racket) using something similar to https://github.com/racket/racket/pull/2266 . For now it will be slow because it will have to install a normal Racket, ChezScheme and recompile everything. But in the future it may use the racket-cs installer.
Gustavo Gustavo On Mon, Oct 1, 2018 at 12:31 PM Matthew Flatt <mfl...@cs.utah.edu> wrote: > > That's a good idea. It won't happen this week, but maybe it can happen > in November or so. > > At Mon, 1 Oct 2018 10:21:46 -0500, Philip McGrath wrote: > > Would it be feasible and useful to start building Racket-on-Chez snapshots > > along with the other variants at https://pre.racket-lang.org? In light of > > the promising outlook for Chez replacing the current Racket VM in the > > relatively near future, I would be interested in starting to include it in > > my CI tests. (I wish I 'd thought of this question yesterday.) > > > > If so, my vote would be for the executables in a Racket-on-Chez snapshot to > > be named `racket ...` rather than `racketcs ...` to minimize special-casing > > in scripts > > > > -Philip > > > > -- > > You received this message because you are subscribed to the Google Groups > > "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to racket-users+unsubscr...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
