search

carl-eastlund / dracula

9 stars 4 forks source link

Cannot install Dracula on Racket 8.1 #7

Open justin-jalandoni opened 2 years ago

justin-jalandoni commented 2 years ago

What version of Racket are you using? I am using Racket 8.1

What program did you run? I ran this command: raco pkg install dracula and raco setup

according to this link

What should have happened? It should have installed the package. Instead it just says package installation failed.

Error logs

Here is the error when I run the first command.

Here is the error when I run the second command.

Related: I was told to transfer this here

cmsmcq commented 1 year ago

Rather than open a fourth issue reporting trouble installing Dracula under a current DrRacket, I'll just add this comment to say installation also fails in DrRacket 8.6 under Linux. As in the error logs given here, test-info.scm cannot be found (nor can schema-gui.rkt).

I have a clear recollection of finding Dracula very helpful, the last time I tried to learn enough ACL2 to use it for my own work, so I hope that it can be restored to functionality.

If that's not going to happen, it might be helpful to say so here and at https://dracula-lang.github.io/