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 coquser

Oh yes. I was using homebrew.

comment:2 Changed 9 years ago by courtieu

thanks for the report and workaround. I am not sure what we should do about this.

Note: See TracTickets for help on using tickets.