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