From ec1a0db46455e289de0f5802ff6bfc04cd32f5c0 Mon Sep 17 00:00:00 2001 From: James Bornholt Date: Mon, 15 Aug 2022 11:47:44 -0500 Subject: [PATCH] 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. --- rosette/private/install.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/rosette/private/install.rkt b/rosette/private/install.rkt index f6c17b88..ff707ccb 100644 --- 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))