Extend compile.sh for libmathsat5j for macOS dylib#430

lembergerth merged 1 commit intomastersosy-lab/java-smt:masterfrom

add-libmathsat5j-compile-for-macossosy-lab/java-smt:add-libmathsat5j-compile-for-macosCopy head branch name to clipboard