ARCH2018-AFF Installation

install.jl

```julia
Verimags-MBP:Reachability forets$ julia6
               _
   _       _ _(_)_     |  A fresh approach to technical computing
  (_)     | (_) (_)    |  Documentation: https://docs.julialang.org
   _ _   _| |_  __ _   |  Type "?help" for help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 0.6.4 (2018-07-09 19:09 UTC)
 _/ |\__'_|_|_|\__'_|  |  Official http://julialang.org/ release
|__/                   |  x86_64-apple-darwin14.5.0



julia> Pkg.clone("https://github.com/JuliaReach/LazySets.jl.git")
INFO: Initializing package repository /Users/forets/.julia/v0.6
INFO: Cloning METADATA from https://github.com/JuliaLang/METADATA.jl
INFO: Cloning LazySets from https://github.com/JuliaReach/LazySets.jl.git
INFO: Computing changes...
INFO: Updating cache of Compat...
INFO: Updating cache of MathOptInterface...
INFO: Installing AdjacentFloats v0.0.6
INFO: Installing BinaryProvider v0.3.3
INFO: Installing CRlibm v0.6.0
INFO: Installing Compat v2.1.0
INFO: Installing ErrorfreeArithmetic v0.1.3
INFO: Installing Expokit v0.1.0
INFO: Installing FastRounding v0.1.2
INFO: Installing GLPK v0.9.1
INFO: Installing GLPKMathProgInterface v0.4.4
INFO: Installing IntervalArithmetic v0.14.0
INFO: Installing LinQuadOptInterface v0.6.0
INFO: Installing MathOptInterface v0.8.4
INFO: Installing MathProgBase v0.7.7
INFO: Installing RecipesBase v0.3.1
INFO: Installing Requires v0.4.4
INFO: Installing SHA v0.5.7
INFO: Installing StaticArrays v0.7.2
INFO: Building CRlibm
Working in /Users/forets/.julia/v0.6/CRlibm/deps/src/crlibm-1.0beta4
Working in /Users/forets/.julia/v0.6/CRlibm/deps/src/crlibm-1.0beta4
Making all in scs_lib
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libscs.a(scs2mpfr.o) has no symbols
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libscs.a(scs2mpfr.o) has no symbols
Making all in .
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libcrlibm.a(triple-double.o) has no symbols
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/ranlib: file: libcrlibm.a(triple-double.o) has no symbols
Making all in tests
INFO: Building GLPK
Info: Downloading https://github.com/JuliaMath/GMPBuilder/releases/download/v6.1.2-2/GMP.v6.1.2.x86_64-apple-darwin14.tar.gz to /Users/forets/.julia/v0.6/GLPK/deps/usr/downloads/GMP.v6.1.2.x86_64-apple-darwin14.tar.gz...
[13:34:49] ######################################################################## 100.0%
Info: Downloading https://github.com/juan-pablo-vielma/GLPKBuilder/releases/download/v4.64-beta/GLPKBuilder.v4.64.0.x86_64-apple-darwin14.tar.gz to /Users/forets/.julia/v0.6/GLPK/deps/usr/downloads/GLPKBuilder.v4.64.0.x86_64-apple-darwin14.tar.gz...
[13:34:56] ######################################################################## 100.0%
INFO: Package database updated

julia> repo = LibGit2.GitRepo(joinpath(Pkg.dir(), "LazySets"))
LibGit2.GitRepo("/Users/forets/.julia/v0.6/LazySets")

julia> LibGit2.branch!(repo, "Pin_08150a1307f9c25c5e02fe7fe9a74e102049bd6e", "08150a1307f9c25c5e02fe7fe9a74e102049bd6e")

julia> Pkg.clone("https://github.com/JuliaReach/Reachability.jl.git")
INFO: Cloning Reachability from https://github.com/JuliaReach/Reachability.jl.git
INFO: Computing changes...
WARNING: julia is fixed at 0.6.4 conflicting with requirement for Reachability: [1.0.0,∞)
WARNING: LazySets is fixed at 1.3.0- conflicting with requirement for Reachability: [1.10.0,∞)
ERROR: TaylorModels can't be installed because it has no versions that support 0.6.4 of julia. You may need to update METADATA by running `Pkg.update()`
Stacktrace:
 [1] resolve(::Dict{String,Base.Pkg.Types.VersionSet}, ::Dict{String,Dict{VersionNumber,Base.Pkg.Types.Available}}, ::Dict{String,Tuple{VersionNumber,Bool}}, ::Dict{String,Base.Pkg.Types.Fixed}, ::Dict{String,VersionNumber}, ::Set{String}) at ./pkg/entry.jl:488
 [2] resolve(::Dict{String,Base.Pkg.Types.VersionSet}, ::Dict{String,Dict{VersionNumber,Base.Pkg.Types.Available}}, ::Dict{String,Tuple{VersionNumber,Bool}}, ::Dict{String,Base.Pkg.Types.Fixed}) at ./pkg/entry.jl:479
 [3] clone(::String, ::SubString{String}) at ./pkg/entry.jl:205
 [4] (::Base.Pkg.Dir.##4#7{Array{Any,1},Base.Pkg.Entry.#clone,Tuple{String}})() at ./pkg/dir.jl:36
 [5] cd(::Base.Pkg.Dir.##4#7{Array{Any,1},Base.Pkg.Entry.#clone,Tuple{String}}, ::String) at ./file.jl:70
 [6] #cd#1(::Array{Any,1}, ::Function, ::Function, ::String, ::Vararg{String,N} where N) at ./pkg/dir.jl:36
 [7] clone(::String) at ./pkg/pkg.jl:169
```