search

rmculpepper / iracket

Jupyter kernel for Racket
BSD 3-Clause "New" or "Revised" License
95 stars 14 forks source link

Can't use with Rosette, seemingly because it can't start subprocesses #15

Closed gussmith23 closed 3 years ago

gussmith23 commented 3 years ago

When I try to use Rosette with iRacket, I get an error when Rosette tries to launch z3:

subprocess: `execute' access denied for /usr/local/Cellar/minimal-racket/8.1/share/racket/pkgs/rosette/rosette/solver/smt/../../../bin/z3
  context...:
   /usr/local/Cellar/minimal-racket/8.1/share/racket/pkgs/rosette/rosette/solver/smt/server.rkt:58:0: server-start
   /usr/local/Cellar/minimal-racket/8.1/share/racket/pkgs/rosette/rosette/solver/smt/base-solver.rkt:92:0: solver-check
   /usr/local/Cellar/minimal-racket/8.1/share/racket/pkgs/rosette/rosette/query/core.rkt:157:2: guess
   /usr/local/Cellar/minimal-racket/8.1/share/racket/pkgs/rosette/rosette/query/core.rkt:151:0: cegis
   /usr/local/Cellar/minimal-racket/8.1/share/racket/pkgs/rosette/rosette/query/core.rkt:129:6
   body of top-level

Is there a way to allow the kernel to start subprocesses?

gussmith23 commented 3 years ago

See https://github.com/rmculpepper/iracket/issues/13

Archfx commented 1 year ago

@gussmith23 Thanks bro you saved me!