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 (韋嘉誠) <cla...@lysator.liu.se> 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 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.
