#!/usr/bin/bash

set -eu 

MPS_SRC=/tmp/mps-src
MPS_ARTIFACTS=/tmp/mps-artifacts

cd "$MPS_SRC"
cd "$MPS_ARTIFACTS"

cd "$MPS_SRC"
git clone https://github.com/Ravenbrook/mps.git
cd mps
autoconf
./configure --prefix="$MPS_ARTIFACTS"
make CC="gcc -Wno-dangling-pointer -Wno-maybe-uninitialized" EXTRA_TARGETS=
make install