search

dreal / dreal2

Please check dreal4 instead.
https://github.com/dreal/dreal4
GNU General Public License v3.0
13 stars 15 forks source link

OCaml Tools: Static Binaries #29

Closed soonhokong closed 10 years ago

soonhokong commented 10 years ago

Wei, do you know how to make static Ocaml binaries using Oasis?

soonhokong commented 10 years ago

I checked the shared libraries on which our OCaml binaries depend:

64-bit Linux

    linux-vdso.so.1 =>  (0x00007fffb1dff000)
    libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fe83b7fc000)
    libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fe83b5f8000)
    libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fe83b237000)
    /lib64/ld-linux-x86-64.so.2 (0x00007fe83bb18000)

I checked that those libraries are shipped with Ubuntu-12.04, Ubuntu-14.04, and Fedora 20. This is already good enough, and ready to distribute.

OS X 10.9

    /usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1197.1.1)

Note that /usr/lib/libSystem.B.dylib is a library shipped with OS X 10.9.