#!/bin/bash

source machines/${1}/env


cp Makefile.inc MUMPS_5.2.1/Makefile.inc
cd MUMPS_5.2.1
make clean
make -j 20

cd ..
make