Re: How do I "make base"
Stephen Chang <[email protected]>
| Newsgroups | gmane.comp.lang.racket.user,gmane.lisp.scheme.plt |
|---|---|
| Message-ID | <CAFfiA1JYQ-s=bZSuU+RF+q5yPyUidS_5Ft_-ootq5YKzfTz=xw@mail.gmail.com> |
> It was also suggested that it is not in src/Makefile, instead: "I'm usually in the top-level checkout dir", to quote stamourv. Is this what you're looking for? https://github.com/racket/racket/blob/master/Makefile#L153-L160 On Wed, Aug 3, 2016 at 1:02 PM, Tim Brown <[email protected]> wrote: > Here's hoping someone can answer this without too much (any) difficulty: > > I have the Unix source in racket-6.6-src.tgz from the download page. > It's untarred into racket-6.6 . I want this because it has a superset > of the packages I'll eventually want in my installation. > > If I: > > configure > make > make plain-install > > I don't get a raco executable built. > > On IRC, it was suggested that I do a `make base` -- which should get me > a raco capabale of pkg and setup. Problem is -- I can't find base as a > target. > > It was also suggested that it is not in src/Makefile, instead: > "I'm usually in the top-level checkout dir", to quote stamourv. > > A git clone later and I *still* don't have base in any makefile. > > Folks... how do I either make base or get as minimal a racket > installation as I can with a capable raco? > > Thanks in anticipation, > > Tim > > -- > Tim Brown - [email protected] - +44(0)7771714159 > > -- > 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+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected] > 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+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/[email protected] For more options, visit https://groups.google.com/d/optout.