use libpicosat_jll instead of PicoSAT_jll (support Windows)

StefanKarpinski · Dec 29, 2023 · d9fc971 · d9fc971
1 parent b087a90
commit d9fc971
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
         os:
           - ubuntu-latest
           - macos-latest
-          # - windows-latest
+          - windows-latest
         arch:
           - x64
           - x86

diff --git a/Project.toml b/Project.toml
@@ -4,8 +4,8 @@ authors = ["Stefan Karpinski <[email protected]>"]
 version = "0.1.0"
 
 [deps]
-PicoSAT_jll = "e78fa76d-a187-569f-aede-ad11521a2edf"
 Serialization = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
+libpicosat_jll = "6b231c3b-13f8-5ced-86ae-8860c7f75d86"
 
 [extras]
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"

diff --git a/src/PicoSAT.jl b/src/PicoSAT.jl
@@ -1,6 +1,6 @@
 module PicoSAT
 
-using PicoSAT_jll
+using libpicosat_jll
 
 const lib = libpicosat
 
@@ -40,4 +40,4 @@ function print(p::Ptr{Cvoid}, path::AbstractString)
     @assert ccall(:fclose, Cint, (Ptr{Cvoid},), f) == 0
 end
 
-end
+end # module