mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-09 03:26:27 +02:00
pkg(julia-1.5.4): switch to build from source
This commit is contained in:
parent
93188099b7
commit
0f8f8a4a27
3 changed files with 20 additions and 5 deletions
20
packages/julia/1.5.4/build.sh
vendored
20
packages/julia/1.5.4/build.sh
vendored
|
@ -1,6 +1,20 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
curl -OL https://julialang-s3.julialang.org/bin/linux/x64/1.5/julia-1.5.4-linux-x86_64.tar.gz
|
# Install location
|
||||||
tar zxvf julia-1.5.4-linux-x86_64.tar.gz
|
PREFIX=$(realpath $(dirname $0))
|
||||||
rm julia-1.5.4-linux-x86_64.tar.gz
|
|
||||||
|
|
||||||
|
mkdir -p build
|
||||||
|
cd build
|
||||||
|
|
||||||
|
# Download and extract Julia source
|
||||||
|
curl -L "https://github.com/JuliaLang/julia/releases/download/v1.5.4/julia-1.5.4.tar.gz" -o julia.tar.gz
|
||||||
|
tar xzf julia.tar.gz --strip-components=1
|
||||||
|
|
||||||
|
# Build
|
||||||
|
make -j$(nproc)
|
||||||
|
echo "prefix=$PREFIX" > Make.user
|
||||||
|
make install -j$(nproc)
|
||||||
|
|
||||||
|
# Cleanup
|
||||||
|
cd ..
|
||||||
|
rm -rf build
|
||||||
|
|
3
packages/julia/1.5.4/environment
vendored
3
packages/julia/1.5.4/environment
vendored
|
@ -1,3 +1,4 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
export PATH=$PWD/julia-1.5.4/bin:$PATH
|
# Add Julia binary to path
|
||||||
|
export PATH=$PWD/bin:$PATH
|
||||||
|
|
2
packages/julia/1.5.4/run
vendored
2
packages/julia/1.5.4/run
vendored
|
@ -1,4 +1,4 @@
|
||||||
#!/usr/bin/env bash
|
#!/usr/bin/env bash
|
||||||
|
|
||||||
# Put instructions to run the runtime
|
# Run without startup or history file
|
||||||
julia --startup-file=no --history-file=no "$@"
|
julia --startup-file=no --history-file=no "$@"
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue