#!/bin/sh

#Below is the directory where gmp library is saved
HOME=/Users/sylvia_duan/Documents/Columbia/PLT/gmp-5.1.2

cd $HOME

    ./configure &&
	make &&
	make check && 
    make &&
    make install
   