path - 如何在 Cygwin 上运行 XSB？

Question

我试图在 cygwin64 上运行 xsb

$ xsb
-bash: xsb: command not found

$PATH

$ echo $PATH
/usr/local/bin:/usr/bin: /cygdrive/C:/Program Files/Java/jdk1.8.0_65:/cygdrive/c/Program Files/Java/jdk1.8.0_65/bin:/cygdrive/c/ProgramData/Oracle/Java/javapath:/cygdrive/C:/IPS/mulval/lib:/usr/bin:/cygdrive/c/IPS/XSB:/cygdrive/c/IPS/XSB/config/x64-pc-windows/bin/xsb.exe:/cygdrive/c/IPS/XSB/bin/xsb:/cygdrive/c/IPS/XSB/config/x64-pc-windows/bin/xsb.dll:/cygdrive/c/IPS/XSB/config/i686-pc-cygwin/bin/xsb.exe:/cygdrive/c/IPS/XSB/config/i686-pc-cygwin/bin/xsb.dll:/cygdrive/c/IPS/XSB

如何在 cygwin 上运行 xsb？你能帮助我吗。

Answer 1

我找到了解决方案

当我把

PATH= C:/IPS/XSB/bin/xsb64

有用：

$ xsb
[xsb_configuration loaded]
[sysinitrc loaded]
[xsbbrat loaded]

XSB Version 3.6. (Gazpatcho) of April 22, 2015
[i686-pc-cygwin 32 bits; mode: optimal; engine: slg-wam; scheduling: local]
[Build date: 2015-04-30]