Opened 9 years ago

Closed 9 years ago

#500 closed defect (fixed)

Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG 4.2, Mac OS 10.10.2, Aquamacs 3.2)

Reported by: coquser Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords:
Cc:

Description

I’m on Mac OS 10.10.2 (Yosemite), trying to build Proof General 4.2, for Aquamacs 3.2 (based on Emacs 24.4). Running make clean; make compile EMACS=/Applications/Aquamacs.app/Contents/MacOS/Aquamacs fails with the error cascade 

In toplevel form:
isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined.
make[1]: *** [isar/isar-unicode-tokens.elc] Error 1
make: *** [compile] Error 2

Full make output at ​https://gist.github.com/peterlefanulumsdaine/92c49ce941018b594891

Change History (1)

comment:1 Changed 9 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Fixed in current CVS head, thanks.

Note: See TracTickets for help on using tickets.