Don't fail the whole install if Z3 fails

The Racket package server doesn't like this, and it gives up on building/publishing the docs. The new error message is clear enough, so just don't propagate the exception.
vcanumalla · Aug 15, 2022 · ec1a0db · ec1a0db
1 parent 426ffbf
commit ec1a0db
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/rosette/private/install.rkt b/rosette/private/install.rkt
@@ -45,8 +45,7 @@
   (define z3-path (build-path bin-path "z3"))
   (with-handlers ([exn:fail? (lambda (e)
                                (set! z3-install-failure (cons z3-path (exn-message e)))
-                               (print-failure z3-path (exn-message e))
-                               (raise e))])
+                               (print-failure z3-path (exn-message e)))])
     (unless (custom-z3-symlink? z3-path)
       (define-values (z3-url z3-path-in-zip) (get-z3-url))
       (define z3-port (get-pure-port (string->url z3-url) #:redirections 10))