#!/bin/bash source machines/${1}/env cp MUMPS_5.2.1/Makefile.inc cd MUMPS_5.2.1 make clean make -j 20 cd .. make