Hi Claes, Thanks for the effort in splitting the package.

Would any users of the graph library object to dropping support for 5.x?
On Tue, Dec 11, 2018 at 10:19 PM Claes Wallin (韋嘉誠)
<[email protected]> wrote:
>
> I am trying to split the package graph into graph-doc and graph-lib,
> see: https://github.com/stchang/graph/pull/37
>
> So far, the package has been compatible with Racket 5.3.2, and I image
> the original author Mr. Chang would like to keep it that way, if
> possible.
>
> In their respective graph/info.rkt (until now a single file, now split
> into two files), graph-lib wants to define test-timeouts and graph-doc
> wants to define scribblings. On Racket 6 this is fine, but on Racket
> 5[0] I get:
>
>    raco pkg install: packages conflict
>       package: ./graph-lib
>       package: graph-doc
>       file: graph/info.rkt
>
> If I remove graph-doc/graph/info.rkt, the documentation does not get built.
>
> Do we have to drop Racket 5 compatibility to split this package in two?
>
> [0] not on Racket 5.92, but I guess that would be more appropriately
> named something like 6.0rc or 6.0pre?
>
> - - - -
>
> I looked in Racket 5.93 and there pkgs/net-pkgs/net-doc/net didn't
> have an info.rkt. How did the documentation get built? Is there some
> special workaround for release packages?
>
> On Racket 5.3.6 and earlier the release packages weren't separate
> packages, they were simply in core collects, and I assume there was no
> racket-minimal? So I have nothing to learn from by looking there.
>
> --
>    /c
>
> --
> 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 [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 [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to