use PackageSpec to get master branch

sisl · Jul 13, 2020 · c5ea811 · c5ea811
1 parent 1029a5c
commit c5ea811
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -11,6 +11,7 @@ LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Parameters = "d96e819e-fc66-5662-9728-84c9c7592b0a"
 PicoSAT = "ff2beb65-d7cd-5ff1-a187-74671133a339"
+Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
 Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 Requires = "ae029012-a4dd-5104-9daa-d747884805df"

diff --git a/deps/build.jl b/deps/build.jl
@@ -1,2 +1,2 @@
 import Pkg
-Pkg.add("PicoSAT#master")
+Pkg.add(Pkg.PackageSpec(name="PicoSAT", rev="master"))