carl-eastlund / dracula Goto Github PK

Hi,

I ran into a few errors when installing dracula with raco (racket 6.11);

and this problem doesn't reproduce with racket 6.10.

Any suggestions?

http://pkg-build.racket-lang.org/server/built/fail/refined-acl2.txt

Installed racket from package on Ubuntu or from DMG on MacOS
Ubuntu:
install with
raco pkg install dracula
Install completes with errors:
https://gist.github.com/TinaMinoruWasRight/04781df9efa9cc09a47c8ed3ed5e28ee

Under MacOS, installed via the GUI DrRacket Package Manager
Dracula does not appear under Other Languages

going 'raco pkg install dracula' produces the following error:

raco pkg install: packages conflict
  package: dracula
  package: racket
  file: drscheme/tool.rkt

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

Hi Carl,

I ran into a few errors when installing Dracula with raco; they appear to have come up during testing and building the documentation, however, so I'm not sure if they are critical. The full log is here: https://gist.github.com/acfoltzer/a07f78d238a40e2b0c9f

Also, when I try to load J-Bob in DrRacket, or really anything in ACL2 mode, it fails with this error:

Any suggestions?