I'm not sure why you don't want to build some things. For example, the .scrbl files need to be built to allow documentation to appear on docs.racket-lang.org. However, the `compile-omit-files` key is what you'd want to use.
Also, the build server runs your tests. You should just add a dependency. Sam On Wed, Oct 3, 2018 at 12:09 PM David Storrs <david.sto...@gmail.com> wrote: > > Cool, thanks. How do I tell the server not to build anything aside from > main.rkt? The rest of what's there is module-private helpers. I've looked > through the docs on info.rkt and raco setup but had no luck. > > Also, how can I tell it to ignore certain dependencies? It uses > handy/test-more for testing, but that's not something the build server will > know about or needs to know about. I suppose I could put a #:platform 'none > entry in the deps list, but that seems clunky. > > > On Wed, Oct 3, 2018 at 10:55 AM Sam Tobin-Hochstadt <sa...@cs.indiana.edu> > wrote: >> >> I'm not sure why the status is missing on pkgs.racket-lang.org, but >> here's the build status: >> http://pkg-build.racket-lang.org/server/built/fail/struct-plus-plus.txt >> >> Sam >> On Wed, Oct 3, 2018 at 10:45 AM David Storrs <david.sto...@gmail.com> wrote: >> > >> > During RacketCon I posted struct-plus-plus to the packages list: >> > https://pkgs.racket-lang.org/ Sadly, in the Build column it doesn't say >> > "succeeds", "fails", or anything else...it's just a blank. What do I need >> > to do differently so that it can play all the reindeer games? >> > >> > -- >> > 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.
