I believe you’re looking for this:
A bit. What I don't know how to do is get macports to use the modified port file. The best I can figure out is use the whole different tree, which is mildly annoying if I forget to set it back.
Nils.
P.S. I believe [email protected] is the old address of this mailing list, [email protected] is the new one.
> Op 12 dec. 2022, om 16:35 heeft Watson Ladd <[email protected]> het volgende geschreven:
>
> This morning I realized that Pari is lagging behind, so went ahead to
> start contributing a version bump. Unfortunately i completely forgot
> the song and dance to make Macports process the portfile I produced,
> and then the documentation was very pre-github migration (assumes
> individual port files vs checking out the repo).
>
> Perhaps we should have a development guide update, and in the meantime
> do i just update the sources to include my local checkout? I could
> have sworn I've done this before, but just forgot how.
>
> Sincerely,
> Watson
>
> --
> Astra mortemque praestare gradatim
|
