I'm not sure if this is what you're doing, but note that for the v6.12 (and previous) tags just using `make` will not work in general -- see the discussion at https://github.com/racket/racket/pull/1987
Sam On Fri, Apr 6, 2018 at 12:56 PM, 'Paulo Matos' via Racket Developers <[email protected]> wrote: > > > On 06/04/18 16:28, Matthew Flatt wrote: >> See "INSTALL.txt" at the top of the git repo and skip down to "The >> Whole Enchilada: Building Installers". >> > > Thanks. I was just going through the docs Robby referenced as well. The > whole point was an attempt to build racket versions, which I use for > testing and development but with no places. However, probably due to the > server/client nature of the build, disabling places breaks the build. > > Works on v6.12 tag: > make CONFIGURE_ARGS_qq='CFLAGS="-Og -Wall -g"' CPUS=16 installers > > Fails on v6.12 tag: > make CONFIGURE_ARGS_qq='CFLAGS="-Og -Wall -g" --disable-places' CPUS=16 > installers > > But from the error message: > build/user/6.12/pkgs/at-exp-lib/scribble/base/reader.rkt:2:30: > collection not found > > it's not obvious this is related to places. > > -- > Paulo Matos > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/41067797-95b1-8ea4-c4b6-6494e994a5eb%40linki.tools. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAK%3DHD%2BYVKpL1o3N%2BryP5n75SXJqpFS7tO0KFJnSuOn%3DWRjhfZg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
