Opened 9 years ago
Last modified 9 years ago
#501 new defect
wrongly embedded pathname in ProofGeneral-4.3pre150202
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Aquamacs comes with emacs 24.4.51.2. Prooftree wants ProofGeneral-4.3pre*.
ProofGeneral-4.3pre150202 comes with the elisp compiled for 24.3.x, so asks that you "make clean; make".. If you do that, then the acl2 stuff can't find:
Error: charsets directory not found: /Users/dr/Nightly/Cocoa24ub/aquamacs-emacs.git/nextstep/Aquamacs.app/Contents/Resources/etc/charsets
the workaround for my macos 10.10 system was to:
659 sudo mkdir -p /Users/dr/Nightly/Cocoa24ub/aquamacs-emacs.git/nextstep 660 sudo ln -s /Applications/Aquamacs.app /Users/dr/Nightly/Cocoa24ub/aquamacs-emacs.git/nextstep
which isn't The Right Way To Do It.
Change History (2)
comment:1 Changed 9 years ago by
comment:2 Changed 9 years ago by
thanks for the report and workaround. I am not sure what we should do about this.
Note: See
TracTickets for help on using
tickets.
Oh yes. I was using homebrew.