gnu: Remove boolector.

* gnu/packages/maths.scm (boolector): Delete variable.

1 files changed, 0 insertions, 55 deletions

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index db6eceabeae..c029d38038b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -8213,61 +8213,6 @@ Longest Commons Subsequence of a set of strings.")
       (home-page "https://github.com/gdv/Reduce-Expand-for-LCS")
       (license license:gpl3+))))
 
-(define-public boolector
-  (package
-   (name "boolector")
-   (version "3.2.2")
-   (source (origin
-            (method git-fetch)
-            (uri (git-reference
-                  (url "https://github.com/Boolector/boolector")
-                  (commit version)))
-            (file-name (git-file-name name version))
-            (patches (search-patches "boolector-find-googletest.patch"))
-            (sha256
-             (base32
-              "07rvp3iry7a7ixwl0q7nc47fwky1s1cyia7gqrjsg46syqlxbz2c"))))
-   (build-system cmake-build-system)
-   (arguments
-    (list #:configure-flags
-          #~(list "-DBUILD_SHARED_LIBS=on"
-                  (string-append
-                   "-DBtor2Tools_INCLUDE_DIR="
-                   (dirname (search-input-file %build-inputs
-                                               "include/btor2parser.h")))
-                  (string-append
-                   "-DBtor2Tools_LIBRARIES="
-                   (search-input-file %build-inputs
-                                      "lib/libbtor2parser.so")))
-          #:phases
-          #~(modify-phases %standard-phases
-              (add-after 'unpack 'fix-cmake
-                (lambda _
-                  (delete-file "cmake/FindCryptoMiniSat.cmake")
-                  (substitute* (list "CMakeLists.txt" "src/CMakeLists.txt")
-                    (("find_package\\(CryptoMiniSat\\)")
-                     "find_package(cryptominisat5 CONFIG)
-find_package(louvain_communities)")
-                    (("CryptoMiniSat_FOUND") "cryptominisat5_FOUND")
-                    (("CryptoMiniSat_INCLUDE_DIR")
-                     "CRYPTOMINISAT5_INCLUDE_DIRS")
-                    (("CryptoMiniSat_LIBRARIES")
-                     "CRYPTOMINISAT5_LIBRARIES"))))
-              (add-after 'unpack 'fix-sources
-                (lambda _
-                  (substitute* (find-files "." "\\.c$")
-                    (("\"btor2parser/btor2parser\\.h\"") "<btor2parser.h>")))))))
-   (inputs (list btor2tools
-                 boost cryptominisat louvain-community sqlite
-                 gmp))
-   (native-inputs (list googletest-1.8 pkg-config python-wrapper))
-   (home-page "https://boolector.github.io")
-   (synopsis "Bitvector-based theory solver")
-   (description "Boolector is a @acronym{SMT, satisfiability modulo theories}
-solver for the theories of fixed-size bit-vectors, arrays and uninterpreted
-functions.")
-   (license license:lgpl3+)))
-
 (define-public java-smtinterpol
   (package
    (name "java-smtinterpol")