Singular 4-1-3: System description, shared libaries and porting remarks for the binaries: x86_64-Linux: Ubuntu 18.04, should run on any x86_64 CPU with Linux ldd (used shared libraries): libpthread.so.0 libstdc++.so.6 libgcc_s.so.1 libc.so.6 libm.so.6 OsX: cc: clang 4.2.1 Compatible Apple LLVM 10.0.0 (clang-1000.11.45.5)) shared libraries (included in dmg): libntl.43.dylib (compatibility version 44.0.0, current version 44.1.0) libSystem.B.dylib (compatibility version 1.0.0, current version 1252.50.4) libedit.3.dylib (compatibility version 2.0.0, current version 3.0.0) libncurses.5.4.dylib (compatibility version 5.4.0, current version 5.4.0) libmpfr.6.dylib (compatibility version 7.0.0, current version 7.2.0) libgmp.10.dylib (compatibility version 15.0.0, current version 15.0.0) libc++.1.dylib (compatibility version 1.0.0, current version 400.9.0)