On Mon, 16 Apr 2018 10:40:12 +0530 Jackson Isaac <ijack...@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 pe...@piermont.com