Migrate from BinDeps to BinaryBuilder / JLL (#40)

* Migrate from BinDeps to BinaryBuilder / JLL, except the nash part

* Remove `BinDeps` and `Homebrew` dependencies (fixes #38)
* Add `lrslib_jll` dependency
* Delete `deps/` (it's no longer used)

* make method signature more specific, so that there is no ambiguity with its Polyhedra.jl parent

* dummy commit to trigger CI re-run

* bump Polyhedra.jl dependency to 0.6.14

* Require lrslib_jll >= 0.2.0

See JuliaPackaging/Yggdrasil#2875

* No need to specialize to HIndex anymore

See discussion in #40 (comment)

* Require lrslib_jll == 0.2.0

See #40 (comment)

Project.toml

@@ -4,18 +4,16 @@ repo = "https://github.com/JuliaPolyhedra/LRSLib.jl.git"
 version = "0.5.0"
 
 [deps]
-BinDeps = "9e28174c-4ba2-5203-b857-d8d62c4213ee"
-Homebrew = "d9be37ee-ecc9-5288-90f1-b9ca67657a75"
 Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
 Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
+lrslib_jll = "3873f7d0-7b7c-52c3-bdf4-8ab39b8f337a"
 
 [compat]
-BinDeps = "0.7, 0.8, 1"
-Homebrew = "0.7"
-Polyhedra = "0.6.8"
-julia = "1"
+Polyhedra = "0.6.14"
+julia = "1.3"
+lrslib_jll = "= 0.2.0"
 
 [extras]
 Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"

src/LRSLib.jl

@@ -1,16 +1,10 @@
 module LRSLib
 
-using BinDeps
 using Polyhedra
 using LinearAlgebra
+using lrslib_jll
 using Markdown
 
-if isfile(joinpath(dirname(@__FILE__),"..","deps","deps.jl"))
-    include("../deps/deps.jl")
-    else
-    error("LRSLib not properly installed. Please run Pkg.build(\"LRSLib\")")
-end
-
 macro lrs_ccall(f, args...)
     quote
         ret = ccall(($"lrs_$(f)_gmp", liblrs), $(map(esc,args)...))