如何在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]