(define z3-with-java
  (package
   (inherit z3)
   ;; (native-inputs (modify-inputs (package-native-inputs z3)
   ;;                               (append openjdk11)))
   (native-inputs
    `(("which" ,which)
      ("python" ,python-wrapper)
      ("jdk" ,openjdk11 "jdk")))
   (arguments
    `(#:tests? #f
      #:phases
      (modify-phases %standard-phases
                     (add-after 'unpack 'set-JDK_HOME
                                (lambda* (#:key inputs #:allow-other-keys)
                                  ;; (setenv "JDK_HOME" (search-input-directory ???))
                                  (setenv "JDK_HOME" (assoc-ref inputs "jdk"))
                                  #t))
                     (replace 'configure
                              (lambda* (#:key inputs outputs #:allow-other-keys)
                                (invoke "./configure"
                                        "--java"
                                        (string-append "--prefix=" (assoc-ref outputs "out")))))
                     (add-after 'configure 'change-directory
                                (lambda _
                                  (chdir "build")
                                  #t)))))))