Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
README | 2011-05-04 | 820 Bytes | |
florabundle.zip | 2011-05-04 | 19.4 MB | |
Totals: 2 Items | 19.4 MB | 0 |
This is a combined XSB/FLORA-2 bundle. It contains a compiled windows version of XSB and a source version that can be used to build for Linux/Mac/BSD. For windows, one just needs to unzip. This will create a folder called XSBFLORABUNDLE. If you put it at the top of some drive (ie, at ??:\XSBFLORABUNDLE) then you won't need to configure anything. If you place it some place else, you will have to edit the file XSBFLORABUNDLE/flora2/runflora.bat and fix the paths for XSB and FLORA there. For Linux/Mac/etc., you would need to configure the bundle, but it is very easy. cd .../XSBFLORABUNDLE/XSB/build ./configure ./makexsb cd .../XSBFLORABUNDLE/flora2/ ./makeflora all ../XSB/bin/xsb You can run FLORA-2 by typing ./runflora in the .../XSBFLORABUNDLE/flora2/ directory. In Windows, just runflora will do.