ARM library not found

[KajWiik]

When trying to install GR to a ARMv7 system, download of the library fails:

...
 Building GR ────→ `~/.julia/packages/GR/ZI5OE/deps/build.log`
┌ Error: Error building `GR`: 
│ tar (child): downloads/gr-0.41.0-Linux-arm.tar.gz: Cannot open: No such file or directory
│ tar (child): Error is not recoverable: exiting now
│ tar: Child returned status 2
│ tar: Error is not recoverable: exiting now
│ [ Info: Downloading pre-compiled GR 0.41.0 Linux binary
│ ┌ Error: Download failed: curl: (22) The requested URL returned error: 404 Not Found
│ └ @ Base download.jl:43
│ ┌ Error: Download failed: curl: (22) The requested URL returned error: 404 Not Found
│ └ @ Base download.jl:43
│ [ Info: Using insecure connection
│ ┌ Error: Download failed: curl: (22) The requested URL returned error: 404 Not Found
│ └ @ Base download.jl:43
│ [ Info: Cannot download GR run-time
│ ERROR: LoadError: failed process: Process(`tar xzf downloads/gr-0.41.0-Linux-arm.tar.gz`, ProcessExited(2)) [2]
│
...

julia> versioninfo()
Julia Version 1.2.0
Commit c6da87ff4b (2019-08-20 00:03 UTC)
Platform Info:
  OS: Linux (arm-linux-gnueabihf)
  CPU: ARMv7 Processor rev 4 (v7l)
  WORD_SIZE: 32
  LIBM: libm
  LLVM: libLLVM-6.0.1 (ORCJIT, armv7-a)

[jheinen]

ARM support started with 0.41.5.post43, so you have to checkout GR#master.

[KajWiik]

Hm, maybe I am doing something wrong:

(v1.2) pkg> add GR#master
   Cloning git-repo `https://github.com/jheinen/GR.jl.git`
  Updating git-repo `https://github.com/jheinen/GR.jl.git`
 Resolving package versions...
  Updating `~/.julia/environments/v1.2/Project.toml`
  [28b8d3ca] + GR v0.41.5 #master (https://github.com/jheinen/GR.jl.git)
  Updating `~/.julia/environments/v1.2/Manifest.toml`
  [28b8d3ca] ↑ GR v0.41.0 ⇒ v0.41.5 #master (https://github.com/jheinen/GR.jl.git)
  Building GR → `~/.julia/packages/GR/Hf6yB/deps/build.log`
┌ Error: Error building `GR`: 
│ tar (child): downloads/gr-0.41.5-Linux-armhf.tar.gz: Cannot open: No such file or directory
│ tar (child): Error is not recoverable: exiting now
│ tar: Child returned status 2
│ tar: Error is not recoverable: exiting now
│ [ Info: Downloading pre-compiled GR 0.41.5 Linux binary
│ ┌ Error: Download failed: curl: (22) The requested URL returned error: 404 Not Found
│ └ @ Base download.jl:43
│ ┌ Error: Download failed: curl: (22) The requested URL returned error: 404 Not Found
│ └ @ Base download.jl:43
│ [ Info: Using insecure connection
│ ┌ Error: Download failed: curl: (22) The requested URL returned error: 404 Not Found
│ └ @ Base download.jl:43
│ [ Info: Cannot download GR run-time
│ ERROR: LoadError: failed process: Process(`tar xzf downloads/gr-0.41.5-Linux-armhf.tar.gz`,

[jheinen]

I don't know how to easily find out, whether GR is on #master. As soon as I get a hint from Discourse, I'll fix the problem.

[sdwfrost]

There are only Debian armhf builds on the GR website. GR.jl tries to pull downloads/gr-0.49.0-Linux-armhf.tar.gz, whereas only downloads/gr-0.49.0-Debian-armhf.tar.gz is available. This is odd, as on my Pinebook, I get the following output:

$ cat /etc/os-release
PRETTY_NAME="Debian GNU/Linux 9 (stretch)"
NAME="Debian GNU/Linux"
VERSION_ID="9"
VERSION="9 (stretch)"
VERSION_CODENAME=stretch
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"

[AStupidBear]

@jheinen The OS of my ARM machine is Centos, and I'd like to use GR on it.