Greetings! Looking like the following: Debian/Ubuntu: (mips mipsel mipsel64 x86 x86_64 ia64 hppa sh4 ppc ppcspe alpha sparc sparc64 hurd kfreebsd-86 kfreebsd-amd64 armel s390)
(Now with native object relocation on win32, all macosx, and all the above save ia64 and hppa) stock axiom check oa untested (with rsym hack removes) fricas untested (above and manual path editing in makefiles) acl2-4.0 check acl2-4.1 check hol88 check maxima 5.22.1 check Windows: stock axiom (not yet ported) oa check (with rsym hack removes) fricas check (above and manual path editing in makefiles) acl2-4.0 check acl2-4.1 in progress hol88 check maxima 5.22.1 check MacOSX 64: stock axiom (not yet ported) oa untested (with rsym hack removes) fricas untested (above and manual path editing in makefiles) acl2-4.0 check acl2-4.1 in progress hol88 untested maxima 5.22.1 check MacOSX 32: stock axiom (not yet ported) oa untested (with rsym hack removes) fricas untested (above and manual path editing in makefiles) acl2-4.0 check acl2-4.1 in progress hol88 untested maxima 5.22.1 check MacOSX 32 ppc: stock axiom (not yet ported) oa untested (with rsym hack removes) fricas untested (above and manual path editing in makefiles) acl2-4.0 check acl2-4.1 in progress hol88 untested maxima 5.22.1 check Corrections/additions to this table most welcome. We should probably include similar in the release notes and on the web page. Other items in common use among users are nqthm-1992, pc-nqthm-1992, and nesl. Perhaps should add these. Take care, -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah ------------------------------------------------------------------------------ The Next 800 Companies to Lead America's Growth: New Video Whitepaper David G. Thomson, author of the best-selling book "Blueprint to a Billion" shares his insights and actions to help propel your business during the next growth cycle. Listen Now! http://p.sf.net/sfu/SAP-dev2dev _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel