search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

Windows support: spawn #33

Closed NightRa closed 8 years ago

NightRa commented 8 years ago

When using agda-mode on Windows, loading causes the following error: "spawn ENOENT " spawn does not exist on windows. It should probably use another command to execute agda on windows.

banacorn commented 8 years ago

I can't seem to reproduce the error, could you provide some more detail:

  1. the version of your Windows
  2. the version of agda-mode
  3. some fields of the settings of agda-mode:
    1. Agda execution path
    2. Agda program arguments
    3. Automatically search for executable path
    4. Agda program name
  4. and copy what it shows in the console (right-click on the editor > inspect element > console )

Thanks.

banacorn commented 8 years ago 
spawn ENOENT

This is really weird because spawn appears to be executed as a command, but it was actually invoked from the node.js API (child_process.spawn(command[, args][, options])), which should be available on all platforms.

banacorn commented 8 years ago

Battle-hardened in FLOLAC16, looks fine on all machines including Windows, closing this issue.