pkgs/development/lisp-modules-new-obsolete/patches/cl-sat.glucose-binary-from-PATH-if-present.patch

   1 From 2040fcab5a7be2f28add46a1412bef62ac5ccf11 Mon Sep 17 00:00:00 2001
   2 From: Maximilian Marx <mmarx@wh2.tu-dresden.de>
   3 Date: Thu, 24 Nov 2022 20:00:33 +0100
   4 Subject: [PATCH] Use glucose binary from PATH if present
   5
   6 ---
   7  src/package.lisp | 4 +++-
   8  1 file changed, 3 insertions(+), 1 deletion(-)
   9
  10 diff --git a/src/package.lisp b/src/package.lisp
  11 index b6e26ac..bdb2581 100644
  12 --- a/src/package.lisp
  13 +++ b/src/package.lisp
  14 @@ -13,7 +13,9 @@
  15  (defvar *glucose-home* (asdf:system-relative-pathname :cl-sat.glucose "glucose-syrup/"))
  16
  17  (defun glucose-binary (&optional (*glucose-home* *glucose-home*))
  18 -  (merge-pathnames "simp/glucose_static" *glucose-home*))
  19 +  (if (trivial-package-manager:which "glucose")
  20 +      "glucose"
  21 +      (merge-pathnames "simp/glucose_static" *glucose-home*)))
  22
  23  (defmethod solve ((input pathname) (solver (eql :glucose)) &rest options &key debug &allow-other-keys)
  24    (remf options :debug)
  25 --
  26 2.36.2
  27