raco setup --only-docs Is there something like this?

23 views
Skip to first unread message

Simon Schlee

unread,
Jun 2, 2020, 10:40:40 AM6/2/20
to Racket Users
Hello,

I like that I can run:
raco setup --doc-index my-collection-name

and it builds the documentation and makes it searchable on my local machine.
But I was wondering if there is a way to speed-up/skip some of the usual setup stuff that happens before building the documentation?

Should I use raco scribble instead?
If so is there a certain set of raco scribble arguments that is equivalent to what raco setup does?


Simon

Matthew Flatt

unread,
Jun 2, 2020, 11:14:40 AM6/2/20
to Simon Schlee, Racket Users
You could use `-n` to skip the ".zo"-building part, and there are
similar arguments for other steps.

You may also find it helpful to use `-j 1`. Although `raco setup`
should be smarter about spinning up places to build multiple documents
in parallel, it currently isn't.
> --
> 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...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/5bd3ccd6-c5ba-4bca-9bde-8c0efbbd
> d8c2%40googlegroups.com.

Simon Schlee

unread,
Jun 2, 2020, 1:08:04 PM6/2/20
to Racket Users
This cuts the time down from 6-7 seconds to 2-3 seconds for me, that is great, thank you!

previous:
time raco setup --doc-index --no-pkg-deps layout  6.85s user 1.29s system 209% cpu 3.888 total

now:
raco setup -n -j 1 --doc-index --no-pkg-deps --avoid-main layout  2.31s user 0.47s system 99% cpu 2.792 total

Reply all
Reply to author
Forward
0 new messages