Smoosh

May 8, 2020 · View on GitHub

Building Smoosh on MacOS

My Env

~/Github/smoosh-macOS
 getsys
ProductName:    Mac OS X
ProductVersion: 10.15.4
BuildVersion:   19E287

# check ocaml is installed
~/Github/smoosh-macOS
 which ocaml
/Users/mandalarian/.opam/4.07.0/bin/ocaml

Install Smoosh, it submodules, dependencies

Run: ./install.sh Check the install.sh script to see what is being installed.

This script updates all the submodules.

On macOS these are the homebrew installed scripts used: brew install autoconf libtool pkg-config libffi opam.

You can omit opam if you already have it installed or installed it through some method other than homebrew.

brew will sometimes automatically symlink glibtoolize to libtoolize. Just to be sure, the script does it with:

# tldr - Overwrite an existing symbolic to point to a different file:
ln -sf "$(command -v glibtoolize)" /usr/local/bin/libtoolize

Build Smoosh

Run: chmod + x ./build.sh then ./build.sh

Check the build.sh script to see the steps.

NoteToSelf

These scripts would not work until I move the LEMLIB export to after LEMBLIB was built.

cd "$ROOT/lem/ocaml-lib" || return

...
make install

## now that its built, export it

export LEMLIB=$ROOT/lem/library

...