Add macOS binary of QuAbS

reactive-systems · Nov 27, 2017 · 697796e · 697796e
1 parent 1c063bd
commit 697796e
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -52,6 +52,7 @@ required-tools: \
 	Tools/ltl3ba \
 	Tools/idq \
 	Tools/quabscm \
+	Tools/quabscm-mac \
 	Tools/rareqs \
 	Tools/syfco \
 	Tools/z3
@@ -324,6 +325,9 @@ Tools/picosat-965.tar.gz: Tools/.f
 Tools/quabscm: Tools/quabs-bin
 	cp Tools/quabs-bin/quabscm Tools/quabscm
 
+Tools/quabscm-mac: Tools/quabs-bin
+	cp Tools/quabs-bin/quabscm-mac Tools/quabscm-mac
+
 Tools/quabs-bin: Tools/quabs-bin.tar.gz
 	cd Tools ; tar xzf quabs-bin.tar.gz
 

diff --git a/Sources/Logic/Solver.swift b/Sources/Logic/Solver.swift
@@ -524,8 +524,12 @@ struct QuAbS: CertifyingQbfSolver {
         }
 
         let task = Process()
-
+
+        #if os(macOS)
+        task.launchPath = "./Tools/quabscm-mac"
+        #else
         task.launchPath = "./Tools/quabscm"
+        #endif
         task.arguments = ["-c", tempFile.path]
 
         let stdoutPipe = Pipe()