#52667: acl2 misuses platform ------------------------+----------------------- Reporter: jeremyhu@… | Owner: gwright@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Keywords: | Port: acl2 ------------------------+----------------------- math/acl2/Portfile contains: {{{ platform i386 { global ccl_ext set ccl_ext dx86cl } platform x86_64 { global ccl_ext set ccl_ext dx86cl64 global ccl_script set ccl_script ccl64 } platform powerpc { global ccl_ext set ccl_ext dppccl } platform ppc64 { global ccl_ext set ccl_ext dppccl64 global ccl_script set ccl_script ccl64 } }}} That’s not doing what the author presumably expects. -- Ticket URL: <https://trac.macports.org/ticket/52667> MacPorts <https://www.macports.org/> Ports system for the Mac operating system