1#!/bin/bash 2 3umask 022 4cd src 5ln -sf Make.inc/Makefile.inc.x86-64_pc_linux2 Makefile.inc 6sed -i '/CFLAGS/ s/$/ -DINTSIZE64/' Makefile.inc 7 8make -j8 scotch 9make -j8 esmumps 10make prefix=/home/guido/PaStiX/scotch_i8 install 11