<< German bakery, Taiwan | Home | Noam Chomsky in Oslo >>

Maude for Solaris 10 x86

After a lot of trial and error (the trick is to build GMP with --build=i386-pc-solaris2.10 instead the auto-detected athlon64-*-*), there's now a Maude 2.6 binary, statically linked against the OpenCSW GCC 3:
maude-i386-pc-solaris2.10, 35990684 bytes.
Remember to grab the original archive as well for the supporting files, and point to them through MAUDE_LIB. The build passed Maude's (and GMP's) self-tests.

$ ldd /export/home/vs/maude-solaris10-x86/bin/maude 
        libcurses.so.1 =>        /lib/libcurses.so.1
        libsocket.so.1 =>        /lib/libsocket.so.1
        libnsl.so.1 =>   /lib/libnsl.so.1
        libstdc++.so.6 =>        /opt/csw/lib/libstdc++.so.6
        libm.so.2 =>     /lib/libm.so.2
        libgcc_s.so.1 =>         /opt/csw/lib/libgcc_s.so.1
        libc.so.1 =>     /lib/libc.so.1
        libmp.so.2 =>    /lib/libmp.so.2
        libmd.so.1 =>    /lib/libmd.so.1
        libscf.so.1 =>   /lib/libscf.so.1
        libm.so.1 =>     /lib/libm.so.1
        libdoor.so.1 =>  /lib/libdoor.so.1
        libuutil.so.1 =>         /lib/libuutil.so.1
        libgen.so.1 =>   /lib/libgen.so.1
Tags : , ,



Add a comment Send a TrackBack