search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Errors from lack of dbus on macOS #70

Closed tchajed closed 7 years ago

tchajed commented 7 years ago

fstar--notify-overlay-processed makes a call to notifications-notify, which requires dbus, which does not ship with macOS. This results in a frequent error message:

error in process filter: dbus-call-method: peculiar error: "Emacs not compiled with dbus support"
error in process filter: peculiar error: "Emacs not compiled with dbus support"

whenever processing finishes.

The easiest solution would be to disable these notifications if dbus isn't available, or support native macOS notifications.

cpitclaudel commented 7 years ago

Snap, how unpleasant.

cpitclaudel commented 7 years ago

Let me look into this :) Sorry for the trouble.

cpitclaudel commented 7 years ago

Can you confirm that (featurep 'dbusbind) is nil for you?

tchajed commented 7 years ago

(featurep 'dbusbind) is nil, although (featurep 'dbus) is t.

cpitclaudel commented 7 years ago

Perfect, thanks!