Merge pull request #22 from sisl/update-to-yggdrasil

add cudd_jll dependencies, bump version, update julia compat
sisl · Oct 29, 2022 · fee6fb6 · fee6fb6 · MaximeBouton · Oct 29, 2022
2 parents 457d217 + 3921e36
commit fee6fb6
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 55 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -17,10 +17,12 @@ jobs:
       fail-fast: false
       matrix:
         version:
-          - "1.0"  # minimum version
+          - "1.6"  # minimum version
           - "1"    # Latest Release
         os:
           - ubuntu-latest
+          - macos-latest
+          - windows-latest
         arch:
           - x64
     steps:
@@ -56,4 +58,4 @@ jobs:
         with:
           file: ./lcov.info
           flags: unittests
-          name: codecov-umbrella
+          name: codecov-umbrella
diff --git a/Project.toml b/Project.toml
@@ -1,16 +1,14 @@
 name = "CUDD"
 uuid = "345a2cc7-28d8-58b2-abdf-cff77ea7d7f1"
-version = "0.2.2"
+version = "0.3.0"
 
 [deps]
-BinaryProvider = "b99e7846-7c00-51b0-8f62-c81ae34c0232"
 CEnum = "fa961155-64e5-5f13-b03f-caf6b980ea82"
-Libdl = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
+CUDD_jll = "81065c4a-a3f9-5a95-915d-40e4a6065040"
 
 [compat]
-BinaryProvider = "0.5"
 CEnum = "0.4"
-julia = "1"
+julia = "1.6, 1.8"
 
 [extras]
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

diff --git a/deps/.gitignore b/deps/.gitignore
diff --git a/deps/build.jl b/deps/build.jl
diff --git a/src/CUDD.jl b/src/CUDD.jl
@@ -1,14 +1,6 @@
 module CUDD
 
-# cudd_path = joinpath(dirname(@__FILE__), "..", "deps", "cudd-3.0.0", "cudd", ".libs")
-const depfile = joinpath(@__DIR__, "..", "deps", "deps.jl")
-
-if isfile(depfile)
-    include(depfile)
-else
-    error("CUDD not properly installed. Please run Pkg.build(\"CUDD\")")
-end
-
+using CUDD_jll
 using CEnum
 
 # Files automatically generated by Clang.jl