ENH: provide separate makeSCOTCH script for independent use
- improve handling of scotch build toolchain - relax the test for existence of libscotcherrexit, which can also be incorporated into libscotch itself
makeSCOTCH
0 → 100755
Planned maintenance at 14:00 - platform may be offline until 15:00 (UK times)
- improve handling of scotch build toolchain - relax the test for existence of libscotcherrexit, which can also be incorporated into libscotch itself