Regarding acl2 Port
Perry E. Metzger
perry at piermont.com
Tue Apr 17 00:38:45 UTC 2018
On Mon, 16 Apr 2018 10:40:12 +0530 Jackson Isaac
<ijackson at macports.org> wrote:
> Hi,
>
> I was working on updating the acl2 port version from 3.5 to 8.0
>
> There has been lot of changes ever since to upstream. They moved to
> github and the stable versions are released under 'acl2-devel'
> username instead of acl2 (upstream).
>
> I was thinking to obsolete acl2 and move the new port to acl2-devel.
Which ACL2 are you referring to? Because there's also this:
https://github.com/acl2/acl2
which is I believe where the thing is now being maintained.
> Any thoughts or advice regarding this would be really helpful.
> Probably from experienced Port developers and/or PortMgr.
>
> I would also like to know how do I test all the variants and
> different phases that are mentioned in initial Portfile. There were
> lot of things that didn't work correctly with updated version but I
> was able to pin point to only errors that I encountered (by running
> just port -d build/destroot/install acl2) but there might be other
> changes too that may be required. Do we run each and every variant
> combination and test the portfile or is there any easy way to do so
> (maybe run a build bot job ?).
>
--
Perry E. Metzger perry at piermont.com
More information about the macports-dev
mailing list