Skip to content

Instantly share code, notes, and snippets.

@AStupidBear
Created October 6, 2019 11:32
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save AStupidBear/2e1d0b21c1516b8d3624ded22f445dc3 to your computer and use it in GitHub Desktop.
Save AStupidBear/2e1d0b21c1516b8d3624ded22f445dc3 to your computer and use it in GitHub Desktop.
Install Elemental for Julia
#!/bin/bash
julia -e 'using Pkg; Pkg.rm("Elemental"); Pkg.gc(); Pkg.add("Elemental")'
script="$JULIA_DEPOT_PATH/packages/Elemental/*/deps/build.jl"
sed -i 's:79987d38b04838acf6b6195be1967177521ee908:477e503a7a840cc1a75173552711b980505a0b06:g' $script
sed -i 's:-D PYTHON_EXECUTABLE="":-D PYTHON_EXECUTABLE=""\n-D EL_DISABLE_PARMETIS=ON:g' $script
julia -e 'using Pkg; Pkg.build("Elemental")'
sed -i 's:\n-D EL_DISABLE_PARMETIS=ON::g' $script
sed -i 's:477e503a7a840cc1a75173552711b980505a0b06:79987d38b04838acf6b6195be1967177521ee908:g' $script
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment