XSB and SPASS install not working on Fedora

[Bart Bogaerts]

Forwarded issue from Max Ostrowski.

He is using Fedora 14. A quote from his mail:

I turned off SPASS and XSB (also i do not know what this is) as their configure scripts seem to be in DOS-ASCI7 format not compatible with my linux.

Can we make sure that the SPASS and XSB configure scripts are somewhat universal? (see also issue #909 where similar problems were observed.)

Also: after disabling XSB and SPASS, he still had problems, see #914.

[JoD]

In release 3.6.0, we updated the XSB and Flex libraries to versions compatible with recent c++ compilers. We also packaged on Linux to remove any issues with windows file types.

Please visit https://dtai.cs.kuleuven.be/software/idp/try for release 3.6.0.