Как я могу запустить XSB на Cygwin?

Question

Я пытался запустить xsb на cygwin64

$ 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

Как я могу запустить XSB на Cygwin? вы не могли бы мне помочь.

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]