use package extensions

Author: schillic

Project.toml

@@ -6,5 +6,16 @@ version = "0.1.0"
 Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 
 [compat]
+LazySets = "1, 2, 3"
 Requires = "0.5, 1"
 julia = "1.2"
+
+[extensions]
+LazySetsExt = "LazySets"
+
+[extras]
+LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
+
+[weakdeps]
+LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
+Requires = "ae029012-a4dd-5104-9daa-d747884805df"

src/init_LazySets.jl ext/LazySetsExt.jlsrc/init_LazySets.jl renamed to ext/LazySetsExt.jl

@@ -1,11 +1,20 @@
+module LazySetsExt
+
+using MathematicalPredicates
+
 export contains, is_contained_in, is_disjoint_from, intersects
-import .LazySets: dim, project
 
 @static if VERSION >= v"1.5"
     import Base: contains
 end
 
-using .LazySets: LazySet, ⊆, isdisjoint
+@static if isdefined(Base, :get_extension)
+    import LazySets: dim, project
+    using LazySets: LazySet, ⊆, isdisjoint
+else
+    import ..LazySets: dim, project
+    using ..LazySets: LazySet, ⊆, isdisjoint
+end
 
 const SetAtom = CurryAtom{<:Any,<:LazySet}
 
@@ -77,3 +86,5 @@ end
 function intersects(X::LazySet)
     return Negation(is_disjoint_from(X))
 end
+
+end  # module

src/MathematicalPredicates.jl

@@ -9,9 +9,6 @@ include("Negation.jl")
 include("Conjunction.jl")
 include("Disjunction.jl")
 include("CurryAtom.jl")
-
-# optional dependencies
-using Requires
 include("init.jl")
 
 end  # module

src/init.jl

@@ -1,3 +1,9 @@
-function __init__()
-    @require LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043" include("init_LazySets.jl")
+@static if !isdefined(Base, :get_extension)
+    using Requires
+end
+
+@static if !isdefined(Base, :get_extension)
+    function __init__()
+        @require LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043" include("../ext/LazySetsExt.jl")
+    end
 end

test/Aqua.jl

@@ -2,7 +2,14 @@ using MathematicalPredicates, Test
 import Aqua
 
 @testset "Aqua tests" begin
-    Aqua.test_all(MathematicalPredicates;
+    # Requires is only used in old versions
+    @static if VERSION >= v"1.9"
+        stale_deps = (ignore=[:Requires],)
+    else
+        stale_deps = true
+    end
+
+    Aqua.test_all(MathematicalPredicates; stale_deps=stale_deps,
                   # `contains` is a known piracy
                   piracies=(treat_as_own=Function[contains],))
 end