] dev --local GAP results in a GAP.jl installation that cannot start due to missing GAPTypes.jl

[kalmarek]

julia> ENV["GAP_INSTALL_PACKAGES"] = "no";

(gap) pkg> dev --local GAP
  Updating registry at `~/.julia/registries/General`
  Updating git-repo `https://github.com/JuliaRegistries/General.git`
  Updating git-repo `https://github.com/oscar-system/GAP.jl.git`
 Resolving package versions...
  Updating `/tmp/gap/Project.toml`
  [c863536a] + GAP v0.2.1 [`dev/GAP`]
  Updating `/tmp/gap/Manifest.toml`
  [c863536a] + GAP v0.2.1 [`dev/GAP`]
  [cd4130c4] + GAPTypes v1.0.0
  [2a0f44e3] + Base64 
  [ade2ca70] + Dates 
  [b77e0a4c] + InteractiveUtils 
  [76f85450] + LibGit2 
  [8f399da3] + Libdl 
  [56ddb016] + Logging 
  [d6f4376e] + Markdown 
  [44cfe95a] + Pkg 
  [de0858da] + Printf 
  [3fa0cd96] + REPL 
  [9a3f8284] + Random 
  [ea8e919c] + SHA 
  [9e88b42a] + Serialization 
  [6462fe0b] + Sockets 
  [cf7118a7] + UUIDs 
  [4ec0a83e] + Unicode 
  Building GAP → `/tmp/gap/dev/GAP/deps/build.log`

julia> using GAP
[ Info: Precompiling GAP [c863536a-3901-11e9-33e7-d5cd0df7b904]
Adding path /tmp/gap/dev/GAP/gap/.libs to DL_LOAD_PATH
Panic in src/julia_gc.c:776: GAPTypes.jl is not available

this also happens with ENV["GAP_INSTALL_PACKAGES"] = "yes";

[fingolfin]

Sounds to me like this is essentially a different facet #305. As in: Fixing one will fix the other.