#!/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